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

真相表:

P ----------- Q ----------- XOR ----------- IMPLIES ----------- IFF

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

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

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

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

我想知道如何仅使用和或不使用运算符来计算XOR，IMPLIES，IFF。假设XOR是-“(p || Q)&&!(a && b)”。

最佳答案

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

因此，您有一个真值表，如下所示:

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表达式简化之类的东西)。您也可以尝试使用逻辑公理(例如De Morgan's laws)来做到这一点，但这并不是完全系统的。

关于c++ - C++实现(XOR，IMPLIES，IFF)，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/16132002/

xor

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