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