Logicmedium
0:00.0

Simplify ¬(A    B)A\neg(A \implies B) \lor A.