0255132人目の素数さん垢版 | 大砲2018/12/05(水) 18:23:28.40ID:8GVLxg9U >>254 X⇒Y は ¬(X ∧ ¬Y) だから X(1-Y) = 0。 なので C⇒¬D∧¬E は C(1-(1-D)(1-E)) = 0、すなわち C(D+E+DE)=0。