Laws of logic

Laws of logic in lecture today


 * 1) Double negation: A<->A
 * 2) Commutative laws: A v B <-> B v A, A ^ B <-> B ^ A
 * 3) Associative laws