第1题p→q⇔ ¬p∨q 变成 合取析取得到主合取范式，再检查遗漏的极大项⇔ M1⇔ ∏(1)⇔ ¬∏(1)⇔ ∑(1)⇔ m1⇔ ¬(p∨q)∨¬(p∨¬q)∨¬(¬p∨¬q) 德摩根定律⇔ (¬p∧¬q)∨(¬p∧q)∨(p∧q) 德摩根定律得到主析取范式
