Searched refs:_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 | 268 return self._to_nnf(*self.args, simplify=simplify)
271 def _to_nnf(cls, *args, **kwargs): member in BooleanFunction
523 return Or._to_nnf(*[~arg for arg in args], simplify=simplify)
526 return And._to_nnf(*[~arg for arg in args], simplify=simplify)
530 return And._to_nnf(a, ~b, simplify=simplify)
541 return And._to_nnf(*result, simplify=simplify)
545 return And._to_nnf(Or(a, ~c), Or(~a, ~b), simplify=simplify)
645 return And._to_nnf(*args, simplify=simplify)
777 return Or._to_nnf(~a, b, simplify=simplify)
850 return And._to_nnf(*args, simplify=simplify)
[all …]
|
| /dports/math/py-sympy/sympy-1.9/sympy/logic/ |
| H A D | boolalg.py | 484 return self._to_nnf(*self.args, simplify=simplify)
490 def _to_nnf(cls, *args, **kwargs): member in BooleanFunction
998 return Or._to_nnf(*[~arg for arg in args], simplify=simplify)
1005 return And._to_nnf(a, ~b, simplify=simplify)
1008 return And._to_nnf(Or(*args), Or(*[~arg for arg in args]),
1017 return And._to_nnf(*result, simplify=simplify)
1021 return And._to_nnf(Or(a, ~c), Or(~a, ~b), simplify=simplify)
1130 return And._to_nnf(*args, simplify=simplify)
1334 return Or._to_nnf(~a, b, simplify=simplify)
1414 return And._to_nnf(*args, simplify=simplify)
[all …]
|