Removes the semantic (in)equality operators.
These must be implemented only for whole formulae.
As such, they will be added to the package as functions, which
compare two Formula objects.
Adds Formula.TruthTable() method, which generates a full
truth table for the formula.