boolean function from truth table - Search