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