坂村健の「痛快！　コンピュータ学」（１９９９年出版）を読んでいて、先に注釈部分を読んでいるのだが、その中に「論理回路はand ,or,not」の三つだけで作れる、とあり、さらに「andと notを組み合わせれば or回路が作れ、orと notを組み合わせれば and回路が作れるので、厳密には2種類で十分」とある。
この「論理回路」自体がどういうものかは知らないが、これを普通の論理として考えれば、「＝」を命題（真偽判断の対象）の大前提として

１：A＝B
２：A＝notB
３：A=BorCorDor……

ですべての論理（命題）を表現できるということだろうか。つまり、Ａの範囲はこの３種類ですべて包含できる、ということだ。
推理小説で言えば、

１：犯人は太郎だ。
２：犯人は太郎ではない。
３：犯人は太郎か二郎か三郎か、その他の誰かだ

となる。で、解決方法は３から始まり、その犯人候補者すべてを１か２かで判断していくことになる。
つまり、ifという要素を論理に入れて

if :A=notB
→Ａ＝ C or D or E……

という思考操作を続けるわけである。