1. (A & B) v C / C v B ------------------ 2. C v (A & B) 1 Commutation 3. (C v A) & (C v B) 2 Distribution 4. (C v B) & (C v A) 3 Commutation 5. C v B 4 Simplification