1. Commutative laws
1. `p vv q = q vv p`
2. `p ^^ q = q ^^ p`
2. Associative laws
1. `(p vv q) vv r = p vv (q vv r)`
2. `(p ^^ q) ^^ r = p ^^ (q ^^ r)`
3. De-Morgan's laws
1. `~(p vv q) = ~ p ^^ ~ q`
2. `~(p ^^ q) = ~ p vv ~ q`
4. Distributive laws
1. `p ^^ (q vv r) = (p ^^ q) vv (p ^^ r)`
2. `p vv (q ^^ r) = (p vv q) ^^ (p vv r)`
5. Negation law
1. `~(~ p) = p`
6. Absorption laws
1. `p ^^ (p vv q) = p`
2. `p vv (p ^^ q) = p`
This material is intended as a summary. Use your textbook for detail explanation.
Any bug, improvement, feedback then
