Define boolean algebras, create and parse boolean expressions
