Example #1
0
 public void Tautology_1()
 {
     Assert.AreEqual(true, True.IsTautology());
     Assert.AreEqual(false, (!True).IsTautology());
     Assert.AreEqual(false, False.IsTautology());
     Assert.AreEqual(true, (!False).IsTautology());
 }