simplify parsing and printing by enforcing a strict hierarchy of precedence: Negation, conjunction, disjunction, exclusive disjunction, implication and lastly biconditional