符号⊕代表了异或。
异或(xor)是一个数学运算符。它应用于逻辑运算。异或的数学符号为“⊕”,计算机符号为“xor”。其运算法则为:a⊕b = (¬a ∧ b) ∨ (a ∧¬b)。
简介
在逻辑中,经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法和有关的数学领域。此外,第三列包含非正式定义,第四列给出简短的例子。
要注意,在一些情况下,不同的符号有相同的意义,而同一个符号,依赖于上下文,有不同的意义。