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

        public void testPLResolve3()
        {
            bool b = resolution.plResolution("((B11 =>  (NOT P11)) AND B11)",
                    "(NOT P11)");
            Assert.AreEqual(true, b);
        }