previous up next
Go backward to Logical Constants
Go up to Top
Go forward to Negations
RISC-Linz logo

Operational Interpretation

public final class False implements Formula
{
  public boolean eval() throws EvalException
  {
    return false;
  }
}

public final class True implements Formula
{
  public boolean eval() throws EvalException
  {
    return true;
  }
}

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next