Go backward to Negations Go up to Top Go forward to Inversion of Negation

Operational Interpretation

public final class Not implements Formula
{
  private Formula formula;

  ...

  public boolean eval() throws EvalException
  {
    if (formula.eval())
      return false;
    else
      return true;
  }
}