boolean expression from logic circuit - Search