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

        public void testBiConditionalTransformation()
        {
            Sentence bic = (Sentence)parser.parse("(A <=> B)");
            Sentence expected = (Sentence)parser
                    .parse("(((NOT A) OR B)  AND ((NOT B) OR A)) ");
            Sentence transformedBic = transformer.transform(bic);
            Assert.AreEqual(expected.ToString(), transformedBic.ToString());
        }