プログラマの数学の論理の章の続き。論理には双対性(そうついせい)が適応される。and演算をor演算に書き換えるときに使う。やり方はシンプルでtrueとfalse Aと とそれぞれ交換すると出来る。ド・モルガンの法則も双対性があるからandをorに、orをandに、変換…