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

　　　　(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)　　...最后两行不了解mM是什么意思我是刚学，不太懂帮我讲一下行不翻书了吗？mi，Mi 分别指的是极小项和极大项，教材上有详细介绍的。翻了还没加到