>>287

正しくはA→B⇔ Aの否定∨B.