用!表示否定
用∧表示合取
用∨表示析取
用→表示条件
用↔表示双条件
原子命题请用大写字母表示
⇔
A B C (A∧B)→C
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
A B C (A↔B)→A∨C
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
A B C A∨B→C
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1
P Q R (P∧Q)∨(!P∧R)∨(Q∧R)
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1
A B C (A→C)∧(B→!C)∧(!C→(A∨B))
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
!(P∨Q)↔(P∧Q)
(P∧Q)∨R
成功输入命题公式
后缀表达式为PQ∧R∨
共有3个命题变元,分别是
P Q R
计算出主析取范式为
(P∧Q)∨R
⇔ (P∧Q∧!R)∨(P∧!Q∧!R)∨(!P∧Q∧!R)∨(!P∧!Q∧R)∨(!P∧!Q∧!R)
⇔ m1∨m3∨m5∨m6∨m7
计算出主合取范式为
(P∧Q)∨R
⇔ (P∨Q∨R)∧(P∨!Q∨R)∧(!P∨Q∨R)
⇔ M0∧M2∧M4