3. ブール代数
ブール代数の必要性
より複雑な論理回路の入出力の関係を見通しよく扱うためには 「論理式の数学」(ブール代数)が有用になる．
ブール代数の公理と定理
ブール代数(Boolean algebra)
0と1からなる2値論理を扱う数学
ブール代数の公理
双対性
ブール代数の定理
例題
例題
例(1)
例(2)
例(3)
演習問題
達成目標
ブール代数の諸公式
を説明することができる
ブール代数の等式を真理値表を用いて証明することができる
真理値表とベン図の対応を説明することができる
与えられた真理値表からベン図を描くことができる
ブール代数の等式をベン図を用いて証明することができる
ブール代数の等式を基本的な公式を活用して証明することができる