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

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