論理の数学は、これまでとは雰囲気が異なりまるでパズルのようです。取り扱うのは数値ではなく論理値ですし、加算や減算などの代わりに「かつ」「または」といった一見すると計算とは思えないコトバを使います。

全文を読む