Shortcut 2
Logic
Level
2
Is this a tautology?
\[ (A\iff B) \iff \neg ((A\Rightarrow B) \Rightarrow \neg(B\Rightarrow A) ) \]
by
Guillermo Templado