Python unit_propagateの例

コード例 #1

ファイル: test_inference.py プロジェクト: FireJade/sympy

def test_unit_propagate():
    A, B, C = symbols('A,B,C')
    assert unit_propagate([A | B], A) == []
    assert unit_propagate([A | B, ~A | C, ~C | B, A], A) == [C, ~C | B, A]

コード例 #2

ファイル: test_inference.py プロジェクト: varunjha089/sympy

def test_unit_propagate():
    A, B, C = symbols('A,B,C')
    assert unit_propagate([A | B], A) == []
    assert unit_propagate([A | B, ~A | C, ~C | B, A], A) == [C, ~C | B, A]