boolean algebra and logic gates - Search