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

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