[UPDATED]
In this video we look at the following laws for simplifying boolean expressions:
Identity Law
Dominance Law
Idempotence Law
Distributive Law
Associative Law
Commutative Law
Absorption Law
De Morgan's Law
Double Complement Law
This video is suitable for AS and A Level Computer Science.