あちゃーまた間違えてたか。
c==1かつd==2のとき、(c|d) | !(c|d)==3になる。
(c|d) | !(c|d)は非ゼロであることは確か。
ブール代数の元に限定するなら1で正しいが。