Searched defs:to_nnf (Results 1 – 2 of 2) sorted by relevance
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/logic/ |
| H A D | boolalg.py | 267 def to_nnf(self, simplify=True): member in BooleanFunction
514 def to_nnf(self, simplify=True): member in Not
639 def to_nnf(self, simplify=True): member in Xor
775 def to_nnf(self, simplify=True): member in Implies
845 def to_nnf(self, simplify=True): member in Equivalent
895 def to_nnf(self, simplify=True): member in ITE
987 def to_nnf(expr, simplify=True): function
|
| /dports/math/py-sympy/sympy-1.9/sympy/logic/ |
| H A D | boolalg.py | 130 def to_nnf(self, simplify=True): member in Boolean
483 def to_nnf(self, simplify=True): member in BooleanFunction
989 def to_nnf(self, simplify=True): member in Not
1124 def to_nnf(self, simplify=True): member in Xor
1332 def to_nnf(self, simplify=True): member in Implies
1409 def to_nnf(self, simplify=True): member in Equivalent
1525 def to_nnf(self, simplify=True): member in ITE
1723 def to_nnf(expr, simplify=True): function
|