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

        public void SimpleEquality()
        {
            // (a <=> b) ----> (a ∨ !b) ∧ (b ∨ !a)

            var T = CNFify.equal(a, b);

            var result = CNFify.normalize(T);

            var expected = CNFify.Term.NewAnd(
                    CNFify.Term.NewOr(CNFify.Term.NewNot(a), b),
                    CNFify.Term.NewOr(CNFify.Term.NewNot(b), a)
                );

            Assert.AreEqual(expected, result);
        }