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