Gate Boolean Algebra