ブール代数の計算について質問です。

Xの否定を/Xとします。

/A・B・C + A・B・C + /A・B・/C
の演算について、以下の二通りの結果がでてきてしまいます。
どちらが正しいのでしょうか？またはさらに簡単化できるのでしょうか？
ご教示のほどよろしくお願いします。

与式=/A・B・(C+/C) + A・B・C
=/A・B+A・B・C

または、

与式=B・C・(A+/A) + /A・B・/C
=B・C + /A・B・/C

以上

No.3 ベストアンサー 回答者： kmee 回答日時： 2013/05/07 21:27

検証するなら、真理値表を書いてみればいい。

3変数で8通りしかないから簡単。

A,B,C,/A・B+A・B・C,B・C + /A・B・/C
0,0,0 ,0 ,0
1,0,0 ,0 ,0
...
結果が同じなら、「どちらも正しい」

No.2 回答者： Tacosan 回答日時： 2013/05/07 15:35

厳密に言えば何をもって「簡単」とするかの尺度がほしいところだが, 少なくともそこにある式よりは

/A・B+B・C
の方が「簡単」と言える. これと
B・(/A+C)
のどっちが「簡単」かは知らん.

No.1 回答者： Tacosan 回答日時： 2013/05/07 12:11

この場合はもっと簡単になる.

この回答への補足

簡単化した結果をおしえていただけませんか。
その場合、上記の２つの結果は、
同じ式になるのでしょうか？

補足日時：2013/05/07 14:14