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

        public void MakeAndListWithOr()
        {
            // (a ∧ (b ∨ c))  ----> AndList (a; b ∨ c)

            var T = CNFify.Term.NewAnd(a, CNFify.Term.NewOr(b, c));

            var result = CNFify.flattenTermtoList(T);

            List<CNFify.Term> abcList = new List<CNFify.Term>() { a, CNFify.Term.NewOr(b, c) };

            FSharpList<CNFify.Term> expected = ListModule.OfSeq(abcList);

            Assert.AreEqual(expected, result);
        }