Tautology, contingent or contradiction?

Logic Level 1

According to propositional logic is the following a tautology, a contradiction or a contingent?

¬(A(¬B))(AB)\neg (A \wedge (\neg B) ) \leftrightarrow (A \to B)

×

Problem Loading...

Note Loading...

Set Loading...