Shortcut 2

Logic Level 2

Is this a tautology?

(A    B)    ¬((AB)¬(BA)) (A\iff B) \iff \neg ((A\Rightarrow B) \Rightarrow \neg(B\Rightarrow A) )

×

Problem Loading...

Note Loading...

Set Loading...