Python is_tautology примеры использования

Пример #1

Файл: test_propositional_resolution.py Проект: b3aver/PyLogic

 def test_is_tautology(self):
     self.assertFalse(resolution.is_tautology(self.a1))
     self.assertFalse(resolution.is_tautology(self.l1))
     self.assertFalse(resolution.is_tautology(self.fand1))
     self.assertFalse(resolution.is_tautology(self.for1))
     self.assertTrue(resolution.is_tautology(self.taut1))
     self.assertTrue(resolution.is_tautology(self.taut2))
     self.assertTrue(resolution.is_tautology(self.taut3))
     self.assertTrue(resolution.is_tautology(self.taut4))

Пример #2

 def test_is_tautology(self):
     self.assertFalse(resolution.is_tautology(self.a1))
     self.assertFalse(resolution.is_tautology(self.l1))
     self.assertFalse(resolution.is_tautology(self.fand1))
     self.assertFalse(resolution.is_tautology(self.for1))
     self.assertTrue(resolution.is_tautology(self.taut1))
     self.assertTrue(resolution.is_tautology(self.taut2))
     self.assertTrue(resolution.is_tautology(self.taut3))
     self.assertTrue(resolution.is_tautology(self.taut4))

Пример #3

Файл: gui.py Проект: b3aver/PyLogic

 def propositionalResolution(self):
     """Test if the current formula is a tautology, using the resolution
     method"""
     formula = propositional_parser.parse(self.getInputString())
     output = propositional_resolution.is_tautology(formula)
     self.appendOutput("%s: %s" % (str(formula), output.__str__()) )

Пример #4

 def propositionalResolution(self):
     """Test if the current formula is a tautology, using the resolution
     method"""
     formula = propositional_parser.parse(self.getInputString())
     output = propositional_resolution.is_tautology(formula)
     self.appendOutput("%s: %s" % (str(formula), output.__str__()))