Did I find the right examples for you? yes no      Crawl my project      Python Jobs

All Samples(28)  |  Call(25)  |  Derive(0)  |  Import(3)

src/s/y/sympy-0.7.5/sympy/logic/tests/test_boolalg.py   sympy(Download)
from sympy import (symbols, sympify, Dummy, simplify, Equality, S, Interval,
                   oo, EmptySet)
from sympy.logic.boolalg import (
    And, Boolean, Equivalent, ITE, Implies, Nand, Nor, Not, Or, POSform,
    SOPform, Xor, conjuncts, disjuncts, distribute_or_over_and,
def test_ITE():
    A, B, C = map(Boolean, symbols('A,B,C'))
 
    assert ITE(True, False, True) is false
    assert ITE(True, True, False) is true
    assert ITE(False, True, False) is false
    assert ITE(False, False, True) is true

src/s/y/sympy-HEAD/sympy/logic/tests/test_boolalg.py   sympy(Download)
from sympy import symbols, sympify, Dummy, simplify
from sympy.logic.boolalg import (
    And, Boolean, Equivalent, ITE, Implies, Nand, Nor, Not, Or, POSform,
    SOPform, Xor, conjuncts, disjuncts, distribute_or_over_and,
    distribute_and_over_or, eliminate_implications, is_cnf, is_dnf,
def test_ITE():
    A, B, C = map(Boolean, symbols('A,B,C'))
 
    assert ITE(True, False, True) is False
    assert ITE(True, True, False) is True
    assert ITE(False, True, False) is False
    assert ITE(False, False, True) is True

src/s/y/sympy-HEAD/sympy/core/tests/test_args.py   sympy(Download)
def test_sympy__logic__boolalg__ITE():
    from sympy.logic.boolalg import ITE
    assert _test_args(ITE(x, y, 2))