Question

用等值演算求下面公式的主析取范式 （﹁p→Q)→（﹁Q V P）

Answer 1

P Q (┓P→Q) （┓QVP） (┓P→Q) →（┓QVP）

0 0 0 1 1

0 1 1 0 0

1 0 1 1 1

1 1 1 1 1

所以,主析取范式为（┓P∧┓Q）V(P∧┓Q)V(P∧Q)