論理回路の式変形の問題です

質問

(A・B)+(A*・B*)+(B・C)=(A・B)+(A*・B*)+(A*・C)

を証明せよ
A*はAの否定ということです

お願いします

回答No.2

86tarou

(A・B)+(A*・B*)の部分は、左辺右辺とも全く同じですので、違いは(B・C)と(A*・C)だけとなります。B＝A*であれば等式は成り立ちますが、これを示すものがありませんので証明のしようがないです。逆に言えば、B＝A*の時だけという条件付きでということになるでしょうか。

回答No.1

shintaro-2

>を証明せよ

誰も
199505220830 さんに命令される筋合いはありません。

ちなみに、等しいことの証明は不可能です。

どこか式をコピーするのを間違えたのではありませんか？

補足

他サイトでも聞いたところ証明できましたです( ..)"