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