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())
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())
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())
def test_cnf_action_not_bottom(self):
g1 = Generalization("or", [Formula("!", Formula("F"))])
exp = [Generalization("or", [Formula("T")])]
self.assertEqual(exp, g1.cnf_action())
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())
def test_cnf_action_basis(self):
g1 = Generalization("or", [Formula("X"), Formula("Y"),
Formula("!", Formula("X"))])
self.assertEqual([g1], g1.cnf_action())
def test_cnf_action_not_bottom(self):
g1 = Generalization("or", [Formula("!", Formula("F"))])
exp = [Generalization("or", [Formula("T")])]
self.assertEqual(exp, g1.cnf_action())
def test_cnf_action_basis(self):
g1 = Generalization(
"or", [Formula("X"),
Formula("Y"),
Formula("!", Formula("X"))])
self.assertEqual([g1], g1.cnf_action())