Logiceasy
0:00.0

The statement neg(PleftrightarrowQ)\\neg(P \\leftrightarrow Q) is equivalent to: