Finding a Boolean propositional formula from a truth table