Question

等值演算法求与下述公式等值的合取范式和主合取范式(p→q)∨﹁r

(p→q)∨﹁r

Answer 1

主析取：m1vm3vm5vm6vm7
主合取：M0^M2^M4
用真值表或等值演算

Answer 2

（p→q）^（r→q）
（┐p∨q）^（┐r∨q）
（┐p^q）∨（┐p^┐r）∨（q∧┐r）
（┐p^q∧(r∨┐r)）∨（┐p^(q∨┐q)∧┐r）∨（(p∨┐p)∧q∧┐r）
（┐p^q∧r）∨（┐p^q∧┐r）∨（┐p^┐q∧┐r）∨（p∧q∧┐r）