1, A v 1, 0, A ^ 0, ¬A^A, 0, ¬AvA, 1, A^(B^C), (A^B)v(A^C), ¬¬A, A, ¬A v ¬B, ¬(A^B), ¬A v ¬B = ¬(A^B), Example of de Morgan's theorem, ¬A^¬B, ¬(AvB), A^(B^C)=(A^B)v(A^C), Example of distributive law, A^B=B^A, Example of commutative law, (A^B)^C=A^(B^C), Example of associative rule, ¬¬A=A, Example of double negation, AvA=A, Example of one of the many Boolean identities.

Leaderboard

Visual style

Options

Switch template

)
Continue editing: ?