Coverage for /usr/lib/python3/dist-packages/sympy/logic/__init__.py: 100%

1from .boolalg import (to_cnf, to_dnf, to_nnf, And, Or, Not, Xor, Nand, Nor, Implies, 

2 Equivalent, ITE, POSform, SOPform, simplify_logic, bool_map, true, false, 

3 gateinputcount) 

4from .inference import satisfiable 

5 

6__all__ = [ 

7 'to_cnf', 'to_dnf', 'to_nnf', 'And', 'Or', 'Not', 'Xor', 'Nand', 'Nor', 

8 'Implies', 'Equivalent', 'ITE', 'POSform', 'SOPform', 'simplify_logic', 

9 'bool_map', 'true', 'false', 'gateinputcount', 

10 

11 'satisfiable', 

12]