>>983
ああ
A ⇒ B の同値表現が ¬A ∨ B

というのはいいですから
関係ない話をしないでください