先頭へ A 先頭へ 否定B 先頭へ 論理積(Z=A・B) 先頭へ 論理和(Z=A+B) 先頭へ 例題 論理関数 A・(A+B)がA に等しいことをベン図を使って説明せよ 先頭へ 解 図1にA+Bを示す。A・(A+B)は図1で示されたもののうちのAに属する部分であるから、結局Aと同じ部分になる(図2) 任意の真理値表はAND、OR、NOTを使って記述できる(証明略) 先頭へ