論理回路の式

質問

＿＿＿＿＿
＿＿　＿＿
＿
AB+C+BC

この式を簡単化たいのですが、途中過程を教えてください。
__←はバーです。

回答No.1

chie65536

not(not(not(A) and B) or C or not(B and C))
で合ってます？
（どこまでが「否定のバー」なのか、訳が判らない）

not(not(not(A) and B) or C or not(B and C))
まず、外側のnotを外します

not(X or Y) = not(X) and not(Y)
より
not(not(not(A) and B)) and not(C) and not(not(B and C))
は
not(A) and B and not(C) and B and C
で、and Bを１つに整理し
not(A) and B and not(C) and C
が答え。

因みに「not(C) and C」は「常に偽」なので、究極まで簡単化すると
「偽」
が答え。