Go backward to Equivalences Go up to Top Go forward to Equivalence Laws

Operational Interpretation

public final class Equiv implements Formula
{
  private Formula formula0; private Formula formula1;
  ...

  public boolean eval() throws EvalException
  {
    return (formula0.eval() == formula1.eval());
  }
}