>>65は間違い。
(>>64から続く)...
分配法則より
(与式)==((a==c) & (((c|d) & (b==d)) | !(c|d))) | (!(c|d) & (b==d))
==((a==c) & (((c|d) | !(c|d)) & ((b==d) | !(c|d)))) | (!(c|d) & (b==d)).
ここで((c|d) | !(c|d))==0であるから
(与式)==((a==c) & (0 & ((b==d) | !(c|d)))) | (!(c|d) & (b==d))
==((a==c) & 0) | (!(c|d) & (b==d))
==0 | (!(c|d) & (b==d))
==!(c|d) & (b==d)
==!c & !d & (b==d) (計算終わり)