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

        public void theWholeShebangTrue_returns_SAT()
        {
            // (a ∨ !a) results in SAT with an empty assignment

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

            var result = CNFify.theWholeShabang(T);

            var expected = CNFify.satResult.NewSAT(ListModule.OfSeq(new List<System.Tuple<string, bool>>()));

            Assert.AreEqual(expected, result);
        }