用等值演算求下面公式的主析取范式 （﹁p→Q)→（﹁Q V P）
问题描述：
用等值演算求下面公式的主析取范式 （﹁p→Q)→（﹁Q V P）
答
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)