boolean algebra and gates - Search