プログラマの数学の論理の章の続き。カルノー図について学習した。複雑な論理式を整理したり単純化させるために使うもの。trueとfalseの全体を見るときに役立つと思った。

$(\lnot A) \land B$
$(\lnot A) \land (\lnot B)$
$A \land B$

これをカルノー図に使うと以下の論理式にまとめることができる

$(\lnot A) \lor B$