ブール代数の等式を真理値表を用いて証明することができる
補充問題
[1] 次の左辺と右辺の真理値表を作成して比較することで， 両辺が等しいことを示せ．
A+
A
·B=A+B
(A+B)·(A+C) = A+B·C
A+B
=
A
·
B
与えられた真理値表からベン図を描くことができる
補充問題
[1] 次の真理値表のf(A,B,C)の値が1になるケースをベン図を用いて示せ．
真理値表
A
B
C
f(A,B,C)
0
0
0
0
0
0
1
1
0
1
0
0
0
1
1
1
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
1
ブール代数の等式をベン図を用いて証明することができる
教科書 p.20 [1]
ブール代数の等式を基本的な公式を活用して証明することができる
教科書 p.20 [2]