additional simplifications concerning implications and equivalences - basically reduces those to disjunctions and conjunctions and simplifies those in order to get better at tautologies and contradictions