Boolean Algebra Guide
Truth Tables
| A | B | AND | OR | NAND | NOR | XOR | XNOR | NOT A |
|---|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
Boolean Laws
Identity Laws
A + 0 = A
A ยท 1 = A
Null Laws
A + 1 = 1
A ยท 0 = 0
Idempotent Laws
A + A = A
A ยท A = A
Complement Laws
A + A' = 1
A ยท A' = 0
Double Negation
(A')' = A
Commutative Laws
A + B = B + A
A ยท B = B ยท A
Associative Laws
A+(B+C) = (A+B)+C
Aยท(BยทC) = (AยทB)ยทC
Distributive Laws
Aยท(B+C) = AยทB + AยทC
A+(BยทC) = (A+B)ยท(A+C)
De Morgan's Laws
(A+B)' = A'ยทB'
(AยทB)' = A'+B'
Absorption Laws
A + AยทB = A
A ยท (A+B) = A
Logic Gate Symbols
| Gate | Expression | Description |
|---|---|---|
| AND | Y = A ยท B | Output 1 only when all inputs are 1 |
| OR | Y = A + B | Output 1 when any input is 1 |
| NOT | Y = A' | Output is inverse of input |
| NAND | Y = (AยทB)' | Inverse of AND |
| NOR | Y = (A+B)' | Inverse of OR |
| XOR | Y = AโB | Output 1 when inputs differ |
| XNOR | Y = (AโB)' | Output 1 when inputs are equal |