...(続き)
分配法則より
(与式)==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d) & (a==c)) | (!(c|d) & (b==d))
==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
ここで((c|d) & !(c|d))は偽であるから
(与式)==((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
さらに...(続く)