逻辑变量X、Y，进行逻辑"异或"（用" "表示）运算的含义是：若X、Y取值相同（都为true或都为false），则 的值为false，否则 的值为true，用逻辑"与"（∧）、"或"（∨）、"非"（-）表示 的式子为（）。

逻辑变量(logical variable)是指只有真值或假值的变量，即取值只能是“1”或“0”的变量。它是逻辑代数的研究对象，逻辑代数在研究某个命题的真假时用“1”和“0”表示的，将“1”和“0”作为变量，研究其变化规律，这种变量称逻辑变量。

异或，英文为exclusive OR，缩写成xor异或（xor）是一个数学运算符。它应用于逻辑运算。异或的数学符号为“⊕”，计算机符号为“xor”。其运算法则为：a⊕b = (¬a ∧ b) ∨ (a ∧¬b)如果a、b两个值不相同，则异或结果为1。如果a、b两个值相同，异或结果为0。异或也叫半加运算，其运算法则相当于不带进位的二进制加法：二进制下用1表示真，0表示假，则异或的运算法则为：0⊕0=0，1⊕0=1，0⊕1=1，1⊕1=0（同为0，异为1），这些法则与加法是相同的，只是不带进位，所以异或常被认作不进位加法。异或略称为XOR、EX-OR程序中有两种演算子：XOR、⊕。使用方法如下z = x ⊕ yz = x xor y

逻辑（logic）是一个音译词，指的是思维）是一个外来词语音译，指的是狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。逻辑包括形式逻辑和数理逻辑（符号逻辑），形式逻辑包括归纳逻辑与演绎逻辑。