Python Generalization.cnf_action Examples

Example #1

 def test_cnf_action_alpha(self):
     g1 = Generalization("or", [Formula("&", Formula("X"), Formula("Y"))])
     exp = [
         Generalization("or", [Formula("X")]),
         Generalization("or", [Formula("Y")])
     ]
     self.assertEqual(exp, g1.cnf_action())

Example #2

File: test_propositional_propositional_logic.py Project: b3aver/PyLogic

 def test_cnf(self):
     g1 = Generalization("or", [
             Formula("&", Formula("X"), Formula("!", Formula("Y")))])
     g2 = Generalization("and", [
             Generalization("or", [
                     Formula("&", Formula("X"),
                             Formula("!", Formula("Y")))])])
     self.assertEqual(Generalization("and", g1.cnf_action()), g2.cnf())

Example #3

 def test_cnf(self):
     g1 = Generalization(
         "or", [Formula("&", Formula("X"), Formula("!", Formula("Y")))])
     g2 = Generalization("and", [
         Generalization(
             "or", [Formula("&", Formula("X"), Formula("!", Formula("Y")))])
     ])
     self.assertEqual(Generalization("and", g1.cnf_action()), g2.cnf())

Example #4

File: test_propositional_propositional_logic.py Project: b3aver/PyLogic

 def test_cnf_action_not_bottom(self):
     g1 = Generalization("or", [Formula("!", Formula("F"))])
     exp = [Generalization("or", [Formula("T")])]
     self.assertEqual(exp, g1.cnf_action())

Example #5

File: test_propositional_propositional_logic.py Project: b3aver/PyLogic

 def test_cnf_action_beta(self):
     g1 = Generalization("or", [Formula("|", Formula("X"), Formula("Y"))])
     exp = [Generalization("or", [Formula("X"), Formula("Y")])]
     self.assertEqual(exp, g1.cnf_action())

Example #6

File: test_propositional_propositional_logic.py Project: b3aver/PyLogic

 def test_cnf_action_basis(self):
     g1 = Generalization("or", [Formula("X"), Formula("Y"),
                                Formula("!", Formula("X"))])
     self.assertEqual([g1], g1.cnf_action())

Example #7

 def test_cnf_action_not_bottom(self):
     g1 = Generalization("or", [Formula("!", Formula("F"))])
     exp = [Generalization("or", [Formula("T")])]
     self.assertEqual(exp, g1.cnf_action())

Example #8

 def test_cnf_action_basis(self):
     g1 = Generalization(
         "or", [Formula("X"),
                Formula("Y"),
                Formula("!", Formula("X"))])
     self.assertEqual([g1], g1.cnf_action())