AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.PLResolutionTest.testPLResolveWithTwoLiteralsMatching C# (CSharp) Метод

        public void testPLResolveWithTwoLiteralsMatching()
        {
            Sentence one = (Sentence)parser.parse("((NOT P21) OR B11)");
            Sentence two = (Sentence)parser.parse("(((NOT B11) OR P21) OR P12)");
            Sentence expected1 = (Sentence)parser
                    .parse("(  ( P12 OR P21 ) OR  ( NOT P21 )  )");
            Sentence expected2 = (Sentence)parser
                    .parse("(  ( B11 OR P12 ) OR  ( NOT B11 )  )");
            List<Sentence> resolvents = resolution.plResolve(one, two);

            Assert.AreEqual(2, resolvents.Count);
            Assert.IsTrue(resolvents.Contains(expected1));
            Assert.IsTrue(resolvents.Contains(expected2));
        }