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).