>>254
X⇒Y は ¬(X ∧ ¬Y) だから X(1-Y) = 0。
なので C⇒¬D∧¬E は C(1-(1-D)(1-E)) = 0、すなわち C(D+E+DE)=0。