我想知道逻辑表达式的基本身份是什么以及如何获取它。我在Google上看过,但找不到任何相关信息。

假设我有一个逻辑表达式〜(〜(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

最佳答案

当拥有真值表时,创建DNF公式很简单。看一下分配在哪里是正确的。然后,您最终得到(感叹号表示否定)

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

10-04 12:51