boolean algebra and logic gate - Search