何でブール代数がプログラムに使えるか教えろ

[64 片山博文MZコスモ ◆T6xkBnTXz7B0 2014/01/23(木) 14:52:35.48]

(右半分の式)：＝(!(c|d)&((a==c)|(b==d)).
分配法則より
(右半分の式)==(!(c|d) & (a==c))|(!(c|d) & (b==d)).
となる。
(与式)==((c|d)&(a==c)&(b==d))|(右半分の式)
==((c|d) & (a==c) & (b==d)) | (!(c|d) & (a==c)) | (!(c|d) & (b==d)).
さらに...(続く)