Boolean Algebra and Gate