AIMA.Test.Core.Unit.Logic.Propositional.Visitors.CNFTransformerTest.testFourSuccessiveNotsTransformation C# (CSharp) 메소드

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