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