logical-operators - 这个表示怎么称呼？

Question

如果我告诉你以下

X ⊕ X

表示xor2 个参数之间的运算X，您如何为逻辑运算命名这种逻辑/数学表示？

概括编程世界中使用的所有常见逻辑操作的属性的表有一个特殊的名称？对于财产，我的意思是X ⊕ X = 0.

Answer 1

这就是布尔代数。请参阅此处http://en.wikipedia.org/wiki/Boolean_algebra开始。

您询问的特定表达式称为“幂等性”（http://en.wikipedia.org/wiki/Exclusive_or）。

“概括所有常见逻辑操作的属性的表”到底是什么意思？

布尔代数有一些基本规则，比如德摩根，然后是几种不同类型的关系/属性作为你引用的那个，但据我所知，没有通用表重新组合所有这些（如果你的意思是维基页面，可能除外？）。

Answer 2

我只想称 ⊕ 为“逻辑符号”或“布尔运算符”，类似于 ¬ (NOT)、∧ (AND) 和 ∨ (OR)。

对于所有这些逻辑运算符，存在多个符号；这里显示的可能最常用于布尔代数的上下文中。

描述逻辑运算结果及其输入参数的表称为真值表。

资源：

http://en.wikipedia.org/wiki/List_of_logic_symbols

http://en.wikipedia.org/wiki/Boolean_algebra_(logic)#Basic_operations

http://en.wikipedia.org/wiki/Truth_table