Boolean Theorems & Logic Gates (Part-1)