逻辑表达式的基本等式和从真值表中推导逻辑表达式。

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

- user1863237

Answer 1

当你有真值表时，创建一个 DNF 公式是微不足道的。看一下哪个赋值为真。然后你就得到了（感叹号表示 否定）

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

- Pål GD