Any identity or equality in Boolean algebra, suchas de Morgan's Theorem can be proved usingthe method of perfect induction.
1. All combinations of variables are written down.
2. Expressions thought to be identical arecomputed.
3. Identity is proved if the two results are thesame for every line.
E.g. X + X.Y = X + Y
Prove X + X.Y = X + Y