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`

---

---