Equals(left: Formula, right: Formula)
Logical equivalence. A state satisfies this formula if it does not satisfy neither left nor right or if it satisfies both.