boolean notation for logic gates - Search