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

Boolean rules and identities..

Leaderboard

Visual style

Options

Switch template

Continue editing: ?