逻辑表达式的基本身份和从真值表中导出逻辑表达式？

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