求(P→Q∧R)∧(非P→(非Q∧R))主析取范式主合取范式，急用，谢谢

Question

如题所述

Answer 1

＝非p∨(q∧r)∧(p∨(非q∧非r)
＝(非p∨q)∧(非p∨r)∧(p∨非q)∧(p∨非r)
＝(非p∨q∨(非p∧r))∧(非p∨(非q∧q)∨r)∧(p∨非q∨(非r∧r))∧(p∨(非q∧q∨非r))
＝(非p∨q∨非r)∧(非p∨q∨r)∧(非p∨非q∨r)∧(非p∨q∨r)∧(p∨非q∨非r)∧(p∨非q∨r)∧(p∨非q∨r)∧(p∨q∨非r)
＝(非p∨q∨非r)∧(非p∨非q∨r)∧(非p∨q∨r)∧(p∨非q∨r)∧(p∨非q∨r)∧(p∨非q∨非r)∧(p∨q∨非r)
＝(非p∨q∨非r)∧(非p∨非q∨r)∧(非p∨q∨r)∧(p∨非q∨r)∧(p∨非q∨非r)
∧(p∧q∨非r)
得到主合取范式:＝M1∧M2∧M3∧M4∧M5∧M6
∴可以得到主析取范式:m0∨m7

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）本回答被网友采纳