Ejemplos de eliminate_implications en Python

Ejemplo n.º 1

Archivo: test_boolalg.py Proyecto: Upabjojr/sympy

def test_eliminate_implications():
    from sympy.abc import A, B, C, D
    assert eliminate_implications(Implies(A, B, evaluate=False)) == (~A) | B
    assert eliminate_implications(
        A >> (C >> Not(B))) == Or(Or(Not(B), Not(C)), Not(A))
    assert eliminate_implications(Equivalent(A, B, C, D)) == \
        (~A | B) & (~B | C) & (~C | D) & (~D | A)

Ejemplo n.º 2

def test_eliminate_implications():
    from sympy.abc import A, B, C, D
    assert eliminate_implications(Implies(A, B, evaluate=False)) == (~A) | B
    assert eliminate_implications(A >> (C >> Not(B))) == Or(
        Or(Not(B), Not(C)), Not(A))
    assert eliminate_implications(Equivalent(A, B, C, D)) == \
        (~A | B) & (~B | C) & (~C | D) & (~D | A)

Ejemplo n.º 3

Archivo: test_boolalg.py Proyecto: KevinGoodsell/sympy

def test_eliminate_implications():
    A, B, C = symbols('ABC')
    assert eliminate_implications( A >> B) == (~A) | B
    assert eliminate_implications(A >> (C >>Not(B))) \
        == Or(Or(Not(B), Not(C)), Not(A))

Ejemplo n.º 4

def test_eliminate_implications():
    A, B, C = map(Boolean, symbols('A,B,C'))

    assert eliminate_implications(Implies(A, B, evaluate=False)) == (~A) | B
    assert eliminate_implications(A >> (C >> Not(B))) == Or(
        Or(Not(B), Not(C)), Not(A))

Ejemplo n.º 5

def test_eliminate_implications():

    assert eliminate_implications(Implies(A, B, evaluate=False)) == (~A) | B
    assert eliminate_implications(A >> (C >> Not(B))) == Or(
        Or(Not(B), Not(C)), Not(A))

Ejemplo n.º 6

Archivo: test_boolalg.py Proyecto: JiraiyaGerotora/sympy

def test_eliminate_implications():

    assert eliminate_implications(Implies(A, B, evaluate=False)) == (~A) | B
    assert eliminate_implications(
        A >> (C >> Not(B))) == Or(Or(Not(B), Not(C)), Not(A))

Ejemplo n.º 7

Archivo: test_boolalg.py Proyecto: bibile/sympy

def test_eliminate_implications():
    A, B, C = map(Boolean, symbols('ABC'))
    assert eliminate_implications(Implies(A, B, evaluate=False)) == (~A) | B
    assert eliminate_implications(A >> (C >>Not(B))) \
        == Or(Or(Not(B), Not(C)), Not(A))

Ejemplo n.º 8

Archivo: test_boolalg.py Proyecto: laudehenri/rSymPy

def test_eliminate_implications():
    A, B, C = symbols('ABC')
    assert eliminate_implications( A >> B) == (~A) | B
    assert eliminate_implications(A >> (C >>Not(B))) \
        == Or(Or(Not(B), Not(C)), Not(A))