Esempi in Python per to_cnf

Esempio n. 1

File: test_utils_logic.py Progetto: mhellmic/b2share

 def test_ANDed_pair(self):
     """logicutils - ANDed pair should be in CNF"""
     self.assertEqual(to_cnf(expr('a & b')),
                      Expr('&', 'a', 'b'))

Esempio n. 2

File: test_utils_logic.py Progetto: mhellmic/b2share

 def test_complex_example_Norvig(self):
     """logicutils - (P&Q) | (~P & ~Q) in CNF"""
     self.assertEqual(str(to_cnf('(P&Q) | (~P & ~Q)')),
                      str('((~P | P) & (~Q | P) & (~P | Q) & (~Q | Q))'))

Esempio n. 3

File: test_utils_logic.py Progetto: mhellmic/b2share

 def test_ORed_pair(self):
     """logicutils - ORed pair should be in CNF"""
     self.assertEqual(to_cnf(expr('a | b')),
                      Expr('|', 'a', 'b'))

Esempio n. 4

File: test_utils_logic.py Progetto: mhellmic/b2share

 def test_singleton(self):
     """logicutils - singletons are already in CNF"""
     self.assertEqual(to_cnf(expr('a')),
                      Expr('a'))

Esempio n. 5

File: test_utils_logic.py Progetto: chokribr/invenio-1

 def test_ANDed_pair(self):
     """logicutils - ANDed pair should be in CNF"""
     self.assertEqual(to_cnf(expr('a & b')),
                      Expr('&', 'a', 'b'))

Esempio n. 6

File: test_utils_logic.py Progetto: chokribr/invenio-1

 def test_ORed_pair(self):
     """logicutils - ORed pair should be in CNF"""
     self.assertEqual(to_cnf(expr('a | b')),
                      Expr('|', 'a', 'b'))

Esempio n. 7

File: test_utils_logic.py Progetto: chokribr/invenio-1

 def test_complex_example_Norvig(self):
     """logicutils - (P&Q) | (~P & ~Q) in CNF"""
     self.assertEqual(str(to_cnf('(P&Q) | (~P & ~Q)')),
                      str('((~P | P) & (~Q | P) & (~P | Q) & (~Q | Q))'))

Esempio n. 8

File: test_utils_logic.py Progetto: chokribr/invenio-1

 def test_singleton(self):
     """logicutils - singletons are already in CNF"""
     self.assertEqual(to_cnf(expr('a')),
                      Expr('a'))