AIMA.Test.Core.Unit.Logic.Propositional.Visitors.CNFTransformerTest.testBasicSentenceTransformation C# (CSharp) Method

        public void testBasicSentenceTransformation()
        {
            Sentence and = (Sentence)parser.parse("(A AND B)");
            Sentence transformedAnd = transformer.transform(and);
            Assert.AreEqual(and.ToString(), transformedAnd.ToString());

            Sentence or = (Sentence)parser.parse("(A OR B)");
            Sentence transformedOr = transformer.transform(or);
            Assert.AreEqual(or.ToString(), transformedOr.ToString());

            Sentence not = (Sentence)parser.parse("(NOT C)");
            Sentence transformedNot = transformer.transform(not);
            Assert.AreEqual(not.ToString(), transformedNot.ToString());
        }