Beispiel #1
0
 def test_eight_case(self):
     self.assertEqual(
         nnf_to_dnf_transition('((p&~q)|(q&~p)|r)&(~r|((~p|q)&(~q|p)))'),
         '(~r&p&~q)|(~r&q&~p)|(~r&r)|(~q&~p&p)|(~q&~p&q)|(~q&~p&r)|(~q&q&p)|(~q&q&r)|(p&~p&q)|(p&~p&r)|(p&q&r)'
     )
Beispiel #2
0
 def test_ninth_case(self):
     self.assertEqual(
         nnf_to_dnf_transition('(~p|((~r|q)&(~q|r)))&((r&~q)|(q&~r)|p)'),
         '(r&~q&~p)|(r&~q&~r)|(r&~q&q)|(q&~r&~p)|(q&~r&~q)|(q&~r&r)|(p&~p)|(p&~q&~r)|(p&~q&q)|(p&r&~r)|(p&r&q)'
     )
Beispiel #3
0
 def test_sixth_case(self):
     self.assertEqual(
         nnf_to_dnf_transition(
             '(((p|q)&~r)|((~p|r)&(~q|r)))&((p&~r)|(q&~r)|(~p&~q)|r)'),
         '(p&~r)|(p&~r&q)|(p&~r&~q&~p)|(p&~r&~q&r)|(p&~r&r&~p)|(p&~r&r)|(q&~r)|(q&~r&~q&~p)|(q&~r&~q&r)|('
         'q&~r&r&~p)|(q&~r&r)|(~p&~q)|(~p&~q&r)|(r&~q)|(r&~p)|r')
Beispiel #4
0
 def test_seventh_case(self):
     self.assertEqual(nnf_to_dnf_transition('(p&q&~r)|~p|r|~q'),
                      '(p&q&~r)|~p|r|~q')
Beispiel #5
0
 def test_fifth_case(self):
     self.assertEqual(
         nnf_to_dnf_transition(
             '((p&(~q|~r))|((~p|q)&(~p|r)))&((p&~q)|(p&~r)|~p|(q&r))'),
         '(p&~q)|(p&~q&~r)|(p&~q&~p&q)|(p&~q&r&~p)|(p&~q&r&q)|(p&~r)|(p&~r&~p&q)|(p&~r&r&~p)|(p&~r&r&q)|('
         '~p&p&~q)|(~p&p&~r)|(~p&p)|(~p&q)|(~p&r)|(~p&r&q)|(q&r&p)|(q&r)')
Beispiel #6
0
 def test_fourth_case(self):
     self.assertEqual(nnf_to_dnf_transition('p&~q&(~p|q)'),
                      '(p&~q&~p)|(p&~q&q)')
Beispiel #7
0
 def test_third_case(self):
     self.assertEqual(nnf_to_dnf_transition('(p&~q)|(q&~p)|(p&q)'),
                      '(p&~q)|(q&~p)|(p&q)')
Beispiel #8
0
 def test_second_case(self):
     self.assertEqual(
         nnf_to_dnf_transition('(~p|~q|(p&r))&(~p|~r|(p&q))'),
         '~p|(~p&~q)|(~p&p&r)|(~r&~p)|(~r&~q)|(~r&p&r)|(p&q&~p)|(p&q&~q)|(p&q&r)'
     )
Beispiel #9
0
 def test_first_case(self):
     self.assertEqual(nnf_to_dnf_transition('(~p|q)&(~q|p)'),
                      '(~q&~p)|(~q&q)|(p&~p)|(p&q)')