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