AIMA.Test.Core.Unit.Logic.Propositional.Visitors.CNFTransformerTest.testDeMorgan1 C# (CSharp) Метод

        public void testDeMorgan1()
        {
            Sentence dm = (Sentence)parser.parse("(NOT (A AND B))");
            Sentence expected = (Sentence)parser.parse("((NOT A) OR (NOT B))");
            Sentence transformed = transformer.transform(dm);
            Assert.AreEqual(expected.ToString(), transformed.ToString());
        }