Canonical Form In Boolean Algebra