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