論理演算

質問

次の証明問題なんですが、
AB＋￢A￢B＋BC＝AB＋￢A￢B＋￢AC
を証明せよという問題で、答えが
(答え)
左辺＝AB＋￢A￢B＋￢A￢B(C＋￢C)＋BC(A＋￢A)
＝AB(1＋C)＋￢A￢B(1＋￢C)＋￢AC(￢B＋B)
＝右辺
となっているのですが、わからないのが、答えの1行目のABの右隣の
￢A￢Bがどこから来たのかがわからないのですが、
どういうわけで、でてきたのでしょうか？

回答No.3

ymmasayan

AB＋￢A￢B＋BC＝AB＋￢A￢B＋￢AC
ですから最初から左辺に有りますね。
これを
￢A￢B＝￢A￢B＋￢A￢B(C＋￢C)としている所が疑問なのではないですか。
他の方の回答にもあるようにＸ＝Ｘ＋Ｘと分解できます。
ここでつまづいておられるようですが。

お礼

なるほどわかりました。
ありがとうございます。

回答No.2

774danger

￢A￢B = ￢A￢B + ￢A￢B
なのはわかりますか?
左辺から右辺に持っていくためにこう変形したんでしょう。

回答No.1

ryopis

質問の意図がよくわからないのですが、問題文の左辺（の第2項）に
￢A￢Bがあるからではないのですか？