Verify Demorgan's Law Algebraically If $\overline X \equiv \text { not }X$,
De Morgan's Laws are stated as:


*

*$ \overline{(A + B)}=  \overline A\cdot \overline B$ 

*$ \overline{(A\cdot B)} = \overline A + \overline B$
Verify the above laws algebraically.
I can prove this using truth tables and logic gates but algebraically, I don't know any intuitive way to prove it.
$$
\begin{array}{ |c|c| }
  \hline
   {\text{Axioms}}\\
  \hline
   \text{Property of 0} & X + 0 = X \space ;\space X\cdot0 = 0 \\
   \text{Property of 1} & X + 1 = 1 \space;\space X\cdot1 = X\\
   \text{Idempotence Law} & X + X = X \space;\space X\cdot X = X\\
   \text{Involution Law} & \overline{\overline X} = X\\
   \text{Complementarity Law} & X + \overline X = 1 \space;\space X\cdot\overline X = 0\\
   \text{Commutative Law} & X+Y = Y+X \space;\space X\cdot Y = Y\cdot X\\
   \text{Associative Law} & (X+Y)+Z = X+(Y+Z) \space;\space (X\cdot Y)\cdot Z = X\cdot (Y\cdot Z)\\
   \text{Distributive Law} & X(Y+Z) = XY + XZ \space;\space X + YZ = (X+Y)(X+Z)\\
   \text{Absorption Law} & X + XY = X \space;\space X(X+Y) = X\\
   \text{Other (3rd Distributive)} & X + \overline XY = X+Y\\
  \hline
\end{array}
$$

By Complementarity Law, 
$$P + \overline P = 1 \space\text{ and }\space P \cdot \overline P = 0$$
(Note: I shall only be using $P + \overline P = 1$ as its dual is automatically true)

First Law::
DeMorgan's $1^{\text{st}}$ law states $\overline{X+Y} = \overline X \cdot \overline Y$

It is sufficient to prove that $(X + Y) +  \overline X \cdot \overline Y = 1$
$$
\begin{align}
\text{LHS} &= Y + (X + \overline X \cdot \overline Y)\\ 
&= Y +  X + \overline Y\\
&= (Y+\overline Y) + X\\
&= 1 + X \\&= 1 = \text{RHS}
\end{align}
$$

Second Law:: DeMorgan's $2^{\text{nd}}$ Law states that $\overline{X\cdot Y} = \overline X + \overline Y$

It is sufficient to prove that $X\cdot Y + (\overline X + \overline Y) = 1$
$$
\begin{align}
\text{LHS} &= \overline Y + (\overline X + \overline{\overline X}\cdot Y)\\
&= \overline Y + (\overline X + Y)\\
&= (Y + \overline Y) + \overline X\\
&= 1 + \overline X\\
&= 1 = \text{RHS}
\end{align}
$$

Hence, DeMorgan's Laws are verified algebraically.
