>>283
最初のLawが抜けてました。追加しときました。

(p∨q)∧(p⇒r)∧(q⇒r) 　　　　■Law of Implication
= (p∨q)∧(¬p∨r)∧(¬q∨r) ■Distributive Law
= (p∨q)∧((¬p∧¬q)∨r)　　　■De Morgan's Law
= (p∨q)∧(¬(p∨q)∨r)　　　　　

…とここまでは来ましたが
これで(¬(p∨q)∨r)を展開しても元の木阿弥ですよね…。
((p∨q)⇒r)なんてしてもアレですよね…。
どうしましょう？