分からない問題はここに書いてね242
■ このスレッドは過去ログ倉庫に格納されています
0280132人目の素数さん
2006/05/22(月) 20:57:35という問題なんですけど
(p∨q)∧(p⇒r)∧(q⇒r) = (p∨q)∧(¬p∨r)∧(¬q∨r) ■Distributive Law
= (p∨q)∧(¬p∧¬q)∨r ■De Morgan's Law
= (p∨q)∧¬(p∨q)∨r ■Law of Excluded Middle
= T∨r ■Law of Disjunction
= T
Tになってしまいました。_| ̄|○
もしかして問題が間違ってるんでしょうか?
■ このスレッドは過去ログ倉庫に格納されています