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__()))