boolean logic application, to represent formulae in disjunctive normal form, and provide methods to evaluate them