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

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