命題論理 論理式、同値の法則、ド・モルガンの法則、分配律、論理積、論理和、否定
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、章末問題1.2の解答を求めてみる。
コード(Wolfram Language)
Flatten[
Table[
Table[
{!(p || q) || (!p && q), !p},
{q, {True, False}}
],
{p, {True, False}}
],
1
] // Column
