4

我几乎一生都在编程（大约 20 多年），我想我不记得有一次当我在看一个 if 语句并想“嗯，这将是一个很好的时机使用异或。” 整个逻辑编程领域似乎都围绕着这三个。

当然，使用 AND/OR/NOT 门，您可以做出任何其他逻辑语句。但是，有时可能会节省一些代码来将两个或三个语句组合成一个逻辑语句。让我们看看 16 种可能的逻辑连接词组合：

  1. FALSE = 矛盾 = 0，null，NOT TRUE
  2. 真 = 重言式 = 1，不假
  3. X = 命题 X = X
  4. NOT X = X 的否定 = !X
  5. Y = 命题 Y = Y
  6. 非 Y = Y 的否定 = !Y
  7. X AND Y = 合取 = NOT (X NAND Y)
  8. X NAND Y = 替代拒绝 = NOT (X AND Y), !X OR !Y
  9. X OR Y = 析取 = NOT (!X AND !Y)
  10. X NOR Y = 联合拒绝 = NOT (X OR Y), !X AND !Y
  11. X ⊅ Y = 材料非隐含 = X AND !Y, NOT(!X OR Y), (X XOR Y) AND X, ???
  12. X ⊃ Y = 实质含义 = !X OR Y, NOT(X AND !Y), (X XNOR Y) OR X, ???
  13. X ⊄ Y = 逆非蕴涵 = !X AND Y, NOT(X OR !Y), (X XOR Y) AND Y, ???
  14. X ⊂ Y = 逆蕴涵 = X OR !Y, NOT(!X AND Y), (X XNOR Y) OR Y, ???
  15. X XOR Y = 异或析取 = NOT (X IFF Y), NOT (X XNOR Y), X != Y
  16. X XNOR Y = 双条件 = X IFF Y, NOT (X XOR Y), !X AND !Y

所以，第 1-2 项涉及零变量，第 3-6 项涉及 1，第 7-10 项是我们熟悉的术语。（虽然，我们通常没有 NAND 运算符，但至少 Perl 有通用 NOT 的“除非”。）

项目 11-14 看起来很有趣，但我在编程中从未见过这些。第 15-16 项是 XOR/XNOR。

这些中的任何一个都可以用于 AND/OR/NOT 简化吗？如果有，你用过吗？

更新： “不等于”或 != 实际上是 XOR，经常使用。所以，XOR 毕竟被使用了。

4

5 回答 5

4

在 Not Equals/XOR 事情之后结束这个问题。在 16 个可能的运算符中，程序员使用其中的 9 个：

FALSE, TRUE, X, Y, !X, !Y, AND (or ==), OR, XOR (or !=)

所有其他运算符通常不存在于编程语言中：

X NAND Y = Alternative Denial = NOT (X AND Y), !X OR !Y
X NOR Y = Joint Denial = NOT (X OR Y), !X AND !Y
X ⊅ Y = Material Nonimplication = X AND !Y, NOT(!X OR Y), (X XOR Y) AND X, ???
X ⊃ Y = Material Implication = !X OR Y, NOT(X AND !Y), (X XNOR Y) OR X, ???
X ⊄ Y = Converse Nonimplication = !X AND Y, NOT(X OR !Y), (X XOR Y) AND Y, ???
X ⊂ Y = Converse Implication = X OR !Y, NOT(!X AND Y), (X XNOR Y) OR Y, ???
X XNOR Y = Biconditional = X IFF Y, NOT (X XOR Y), !X AND !Y

以后也许还有空间给他们，因为 NAND/NOR 看起来很方便，而且比键入 NOT (X xxx Y) 更干净。

于 2011-09-29T01:56:26.240 回答
0

考虑一下：

  if(an odd number of conditions are true) then return 1 else return 0

使用和/或/不，你可以试试

  if(one is true || three are true || ... 2n+1 are true) then return 1 else return 0

这非常难看，因为您最终必须指定每个 1-sets、3-sets、5-sets、...、2n+1 个集合，它们是您的条件集合的子集。XOR 版本非常优雅，虽然......

  if(C1 XOR C2 XOR ... XOR CN) then return 1 else return 0

对于大的或可变的 N，无论如何，这可能最好使用循环和计数器系统来处理，但是当 N 不太大（~10）并且您还没有将条件存储为数组时，这不是太糟了。检查偶数个条件的方式相同。

你也可以为其他人想出类似的例子。一个有趣的练习是尝试编程类似

  if((A && !B) || (!A && B)) then return 1 else return 0

并查看编译器是否为 AND、OR 和 NOT 发出汇编语言，或者是否足够聪明以识别这是 XOR，并基于此发出（可能更便宜的）XOR 指令。

于 2011-09-28T14:42:06.120 回答
0

在java中编程时，我倾向于主要使用以下逻辑函数：

  • 不是!
  • 和&&
  • 或者||
  • 异或==
  • 异!=或，

将此扩展到其他基本功能：

  • 实质含义A || !B
  • 逆蕴涵!A || B
  • 实质性非暗示!A && B
  • 逆非蕴涵A && !B

知道何时使用 xor 和 xnor 归结为简化逻辑。一般来说，当你有一个复杂的功能时：

1) 简化为 CNF（“合取范式”又名“求和乘积”）或 DNF（“析取范式”又名“乘积求和”）。*

2）删除额外的条款A && (A || B)，A || (A && B) ->A

2) 简化(A || !B) && (!A || B)，(!A && !B) || (A && B)->A == B

3) 简化(A || B) && (!A || !B)，(A && !B) || (!A && B)->A != B

使用这 3 种简化可以使用 xor 和 xnor 函数生成更简洁的代码。

*应注意，DNF 中的逻辑函数可能比 CNF 简单得多，反之亦然。

于 2015-11-03T07:57:27.680 回答
0

“项目 11-14 看起来很有趣，但我在编程中从未见过这些。”
我不同意。item 12, Material Implication 基本上是一个“IF”语句，在编程中无处不在。我认为实质性含义与以下内容相同：

 if(A) {
    return B
 }
于 2019-01-14T07:45:41.913 回答
0

实质性非暗示/放弃用例

现在有一个实例，我想做一个实质性的 nonimplication/abjunction。

真值表

╔═══╦═══╦══════════╗
║ P ║ Q ║ P -/-> Q ║
╠═══╬═══╬══════════╣
║ T ║ T ║ F        ║
║ T ║ F ║ T        ║ <-- all I care about. True followed by false.
║ F ║ T ║ F        ║
║ F ║ F ║ F        ║
╚═══╩═══╩══════════╝

我正在同时处理多个实体的多个权限（幸运的是true/ false），并且有一个角色和权限情况，我想查看系统用户是否可以更改另一个用户的权限。一次对所有实体尝试相同的操作。

首先，我想要一个实体的旧权限状态和所有实体的新的普遍需要的权限状态之间的增量。

然后我想将该增量与当前用户对该特定实体的更改权限进行比较。

  • 我不关心增量不需要更改的权限。
  • 我只想要一个true应该阻止操作的标志。

例子

before:          10001
proposed after:  11001
delta:           01000 <<< I want a material nonimplication...
user rights      10101 <<< ... between these two...
blocked actions: 01000 <<< ... to produce this flag set

现在我只是在做一个XOR然后一个AND，这是同一件事。

Which kinda code smells that there's an easier way to do the comparison, but at least in this incredibly stodgy, step-by-step logic, it would be nice to have that operator.

于 2021-02-09T15:01:36.953 回答