@Test public void testNot() { Or or = new Or(Proposition.True, Proposition.False); And o = or.not(); Assert.assertEquals(o.first(), Proposition.False); Assert.assertEquals(o.second(), Proposition.True); }
@Override public And not() { return new And(p1.not(), p2.not()); }
Or extends BinaryProp { @Override public And not() { return new And(p1.not(), p2.not()); } }
Or extends BinaryProp { @Override public And not() { return new And(p1.not(), p2.not()); } Or(Proposition p1, Proposition p2); }
Or extends BinaryProp { @Override public And not() { return new And(p1.not(), p2.not()); } Or(Proposition p1, Proposition p2); @Override String operator(); @Override And not(); @Override Boolean eval(Context m); @Override String toString(); }
Or extends BinaryProp { @Override public And not() { return new And(p1.not(), p2.not()); } Or(Proposition p1, Proposition p2); @Override String operator(); @Override And not(); @Override Boolean eval(Context m); @Override String toString();  }