計算機科学のブログ

命題論理 論理回路、3種類の真理値、論理式、入力、出力、ANDゲートとORゲートによる表現

情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、章末問題1.7の解答を求めてみる。

a

b

論理式。

y = ( x 1 x 2 ) ( x 2 x 3 ) ( x 3 x 1 )