質問＜２８９２＞２００６／１／３０
from=あやか
「論理式」

命題Ａ，Ｂについて，（Ａ→Ｂ）→（Ａ∧Ｂ）
を簡単にせよ。

について教えていただきたいです。
この課題は、再提出になっていて、いくら考えても
分かりません。
どうか宜しくお願いいたします。

★希望★完全解答★

お便り２００６／２／１
from=UnderBird

まず、Ａ→Ｂは￢Ａ∨Ｂであることを確認します。

　（Ａ→Ｂ）→（Ａ∧Ｂ）
＝　￢（Ａ→Ｂ）∨（Ａ∧Ｂ）
＝　￢（￢Ａ∨Ｂ）∨（Ａ∧Ｂ）
＝（Ａ∧￢Ｂ）∨（Ａ∧Ｂ）
＝　Ａ∧（￢Ｂ∨Ｂ）
＝　Ａ
このような変形でどうでしょうか