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

        public void testTwoSuccessiveNotsTransformation()
        {
            Sentence twoNots = (Sentence)parser.parse("(NOT (NOT A))");
            Sentence expected = (Sentence)parser.parse("A");
            Sentence transformed = transformer.transform(twoNots);
            Assert.AreEqual(expected.ToString(), transformed.ToString());
        }