（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）
