boolean - 逻辑表达式的基本恒等式和从真值表导出逻辑表达式？

Question

我想知道逻辑表达式的基本身份是什么以及如何获得它。我在谷歌上查看，但找不到任何关于它的信息。

说，例如我有一个逻辑表达式 ~(~(P ^ ~(P ^ Q)) ^ ~(Q ^ ~(P ^ Q))) 下面是我从真值表得到的结果，我没有知道如何处理它以获得基本身份。

0
1
1
0

同样，我有一个真值表，但我不知道如何从中得出逻辑表达式。

P Q R F 

0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1    
1 1 1 1

Answer 1

有了真值表，创建 DNF 公式就很简单了。看看任务在哪里是正确的。然后你最终得到（感叹号表示否定）

(P & !Q & R) OR (P & Q & !R) OR (P & Q & R).