solving logic gates - Search