Searched refs:is_nnf (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/logic/ |
| H A D | test_boolalg.py | 16 is_literal, is_nnf, to_int_repr)
451 assert is_nnf(true) is True
452 assert is_nnf(A) is True
453 assert is_nnf(~A) is True
454 assert is_nnf(A & B) is True
455 assert is_nnf((A & B) | (~A & A) | (~B & B) | (~A & ~B), False) is True
456 assert is_nnf((A | B) & (~A | ~B)) is True
457 assert is_nnf(Not(Or(A, B))) is False
458 assert is_nnf(A ^ B) is False
459 assert is_nnf((A & B) | (~A & A) | (~B & B) | (~A & ~B), True) is False
|
| /dports/math/py-sympy/sympy-1.9/sympy/logic/tests/ |
| H A D | test_boolalg.py | 15 eliminate_implications, is_nnf, is_cnf, is_dnf, simplify_logic,
618 assert is_nnf(true) is True
619 assert is_nnf(A) is True
620 assert is_nnf(~A) is True
621 assert is_nnf(A & B) is True
622 assert is_nnf((A & B) | (~A & A) | (~B & B) | (~A & ~B), False) is True
623 assert is_nnf((A | B) & (~A | ~B)) is True
624 assert is_nnf(Not(Or(A, B))) is False
625 assert is_nnf(A ^ B) is False
626 assert is_nnf((A & B) | (~A & A) | (~B & B) | (~A & ~B), True) is False
|
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/logic/ |
| H A D | boolalg.py | 1004 if is_nnf(expr, simplify):
1069 def is_nnf(expr, simplified=True): function
|
| /dports/math/py-sympy/sympy-1.9/sympy/logic/ |
| H A D | boolalg.py | 1741 if is_nnf(expr, simplify):
1883 def is_nnf(expr, simplified=True): function
|