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

        public void testImplicationTransformation()
        {
            Sentence impl = (Sentence)parser.parse("(A => B)");
            Sentence expected = (Sentence)parser.parse("((NOT A) OR B)");
            Sentence transformedImpl = transformer.transform(impl);
            Assert.AreEqual(expected.ToString(), transformedImpl.ToString());
        }