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