Boolean Logic Cheat Sheet

English Math and EE Formal Circuit

And (Conjunction) A·B A∧B

Or (Disjunction) A+B A∨B

Not (Negation) !A, A ¬A, ∼ A

Table 1: Operations and Notations

A B A·B A+B A
0 0 0 0
1
0 1 0 1
1 0 0 1
0
1 1 1 1

Table 2: Truth Tables

1
 Associativity Commutativity

A + (B + C) ⇐⇒ (A + B) + C A · B ⇐⇒ B · A

A · (B · C) ⇐⇒ (A · B) · C A + B ⇐⇒ B + A

Distributivity De Morgan’s Law

A · (B + C) ⇐⇒ (A · B) + (A · C) A · B ⇐⇒ A + B

A + (B · C) ⇐⇒ (A + B) · (A + C) A + B ⇐⇒ P · Q

Table 3: Laws of Boolean Algebra

Name Rule
1a A·A=A
Idempotency
1b A+A=A
2a A+0=A
Identity
2b A·1=A
3a A+1=1
Boundedness
3b A·0=0
4a A+A=1
Complement Laws
4b A·A=0
5a A+A·B =A
Absorption
5b A·A+B =A
6 Involution A=A
7a A·B+A·C +B·C =A·B+A·C
Consensus Theorem
7b (A + B) · (A + C) · (B + C) = (A + B) · (A + C)

Table 4: Derived Rules