計算機科学のブログ

命題論理 論理式の標準形 論理式と論理回路 ANDゲート、ORゲート、NOTゲート、論理積、論理和、否定

情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.4(論理式の標準形)、1.4.3(論理式と論理回路)、問題1.16の解答を求めてみる。

a

y = ¬ ( x 1 x 2 )

b

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

c

y 1 = x 1 x 2
y 2 = ¬ ( x 1 x 2 ) ( x 1 x 2 )

コード(Wolfram Language)

p1 = True
Output
p2 = False
Output
p3 = True
Output
(p1 || p2) && (!p1 || !p2) && (p1 || !p3) && (p2 || p3)
Output
Table[
    Table[
        Table[
            {p1, p2, p3,
             (p1 || p2) && (!p1 || !p2) && (p1 || !p3) && (p2 || p3)},
            {p3, {True, False}}
        ],
        {p2, {True, False}}
    ],
    {p1, {True, False}}
]
Output