www.cs.amherst/~ccm/cs14/logic.html
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Double Negation: | ¬ ¬ A = A | |||
Idempotent: | A + A = A | A * A = A | ||
Identity: | A + 0 = A | A * 1 = A | ||
Zero/One: | A + 1 = 1 | A * 0 = 0 | ||
Inverse: | A + ¬ A = 1 | A * ¬ A = 0 | ||
Commutative: | A + B = B + A | A * B = B * A | ||
Associative: | A + (B + C) = (A + B) + C | A * (B * C) = (A * B) * C | ||
Distributive: | A * (B + C) = (A * B) + (A * C) | A + (B * C) = (A + B) * (A + C) | ||
DeMorgan's: | ¬ (A + B) = ¬ A * ¬ B | ¬ (A*B) = ¬ A + ¬ B |