Go backward to Disjunctions Go up to Top Go forward to Disjunctive Laws |
public final class Or implements Formula { private Formula formula0; private Formula formula1; public boolean eval() throws EvalException { if (formula0.eval()) return true; else if (formula1.eval()) return true; else return false; } }