CNFifyTests.CNFifyTestClass.theWholeShebangFalse_returns_UNSAT C# (CSharp) Метод

        public void theWholeShebangFalse_returns_UNSAT()
        {
            // (a ∧ !a) results in UNSAT

            var T = CNFify.Term.NewAnd(a, CNFify.Term.NewNot(a));

            var result = CNFify.theWholeShabang(T);

            var expected = CNFify.satResult.UNSAT;

            Assert.AreEqual(expected, result);
        }