【发布时间】:2014-02-25 02:34:30
【问题描述】:
如果我告诉你以下内容
X ⊕ X
表示两个参数X之间的xor运算,你如何命名这种逻辑运算的逻辑/数学表示?
概括了编程世界中使用的所有常见逻辑操作的属性的表有一个特殊的名称? property 我的意思是 X ⊕ X = 0 。
【问题讨论】:
标签: logical-operators mathematical-expressions
如果我告诉你以下内容
X ⊕ X
表示两个参数X之间的xor运算,你如何命名这种逻辑运算的逻辑/数学表示?
概括了编程世界中使用的所有常见逻辑操作的属性的表有一个特殊的名称? property 我的意思是 X ⊕ X = 0 。
【问题讨论】:
标签: logical-operators mathematical-expressions
这是布尔代数。请参阅此处http://en.wikipedia.org/wiki/Boolean_algebra 开始。
您询问的特定表达式称为“幂等性”(http://en.wikipedia.org/wiki/Exclusive_or)。
“概括所有常见逻辑操作的属性的表”到底是什么意思?
布尔代数有一些基本规则,例如 De Morgan,然后是您引用的几种不同类型的关系/属性,但据我所知,没有通用表格重新组合所有这些(如果是你是什么意思?)。
【讨论】:
idempotency 是数学术语,X ⊕ X = 0 在现实世界的编程中更有用,更容易阅读和思考。我想我正在寻找的可以称为“二进制算术属性表”。
我只想称 ⊕ 为“逻辑符号”或“布尔运算符”,类似于 ¬ (NOT)、∧ (AND) 和 ∨ (OR)。
对于所有这些逻辑运算符,存在多个符号;此处显示的可能最常用于布尔代数的上下文中。
描述逻辑运算结果及其输入参数的表称为真值表。
资源:
http://en.wikipedia.org/wiki/List_of_logic_symbols
http://en.wikipedia.org/wiki/Boolean_algebra_(logic)#Basic_operations
【讨论】: