Searched refs:bool_maxterm (Results 1 – 2 of 2) sorted by relevance
| /dports/math/py-sympy/sympy-1.9/sympy/logic/tests/ |
| H A D | test_boolalg.py | 19 anf_coeffs, ANFform, bool_minterm, bool_maxterm, bool_monomial,
1202 assert bool_maxterm(2, [x, y]) == Or(Not(x), y)
1203 assert bool_maxterm([0, 1], [x, y]) == Or(Not(y), x)
|
| /dports/math/py-sympy/sympy-1.9/sympy/logic/ |
| H A D | boolalg.py | 2736 def bool_maxterm(k, variables): function
|