Rule: Complementation
Rule: Identity
Rule: Annihilator
Rule: Idempotence
Rule: Absorbtion
Rule: DeMorgans