麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程

麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
 

麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
(p∨q)→(p∧r)
　　 ┐(p∨q)∨(p∧r)
　　 (┐p∧┐q)∨(p∧r)
　　 (((┐p∧┐q)∧r)∨((┐p∧┐q)∧┐r))∨(((p∧r)∧q)∨((p∧r)∧q))
　　 (┐p∧┐q∧r)∨(┐p∧┐q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)
　　 m0∨m1∨m5∨m7
　　 M2∧M3∧M4∧M6,
得知该公式是非重言的可满足式.