求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦

求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦

求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
P Q R PVQ RVQ (P∨Q)→(R∨Q)
0 0 0 0 0 1
0 0 1 0 1 1
0 1 0 1 1 1
0 1 1 1 1 1
1 0 0 1 0 0
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1
没弄对其,应该能看懂吧~
然后主析取范式为（-P∧-Q∧-R）V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-R)V(P∧Q∧R)
主合取范式为PV-QV-R
其中“-”是非,我没找到那个符号~用-代替一下~