c++ - C++ 实现 (XOR,IMPLIES,IFF)

Question

真值表：

P-----------Q-----------异或------------暗示-----------IFF

T------------T-------------F----------------T------ ------------T

T------------F--------------T----------------F------ - - - - - -F

F------------T--------------T----------------T------ - - - - - -F

F-----------F-------------F----------------T------ ------------T

我想知道如何仅使用 and,or,not 运算符来计算 XOR、IMPLIES、IFF。比如说 XOR 是 -“ ( p || Q ) && ! ( a && b ) ”。

score 2 · Accepted Answer

好吧，解决这个问题的一般方法。

所以，你有一个真值表，像这样：

P   Q   f(P, Q)
0   0   0
0   1   1
1   0   1
1   1   1

现在，您可以先用1这样的方式转录每一行：

//Row 2            3            4
      (!P && Q) || (P && !Q) || (P && Q)

现在你有了析取范式的表达式，你需要简化它。我们在学校学过一个系统的简化过程，但是我不太记得了（也许你可以尝试在互联网上搜索类似 DNF 表达式简化的东西）。您也可以尝试使用逻辑公理来做到这一点，例如德摩根定律，但这不会是完全系统的。

score 1 · Accepted Answer

1

于 2013-04-21T14:21:13.500 回答

2 回答 2