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

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