Python truth_tableの例

コード例 #1

def test_truth_table():
    assert list(truth_table(And(x, y), [x, y],
                            input=False)) == [False, False, False, True]
    assert list(truth_table(x | y, [x, y],
                            input=False)) == [False, True, True, True]
    assert list(truth_table(x >> y, [x, y],
                            input=False)) == [True, True, False, True]

コード例 #2

ファイル: test_boolalg.py プロジェクト: xivarri/sympy

def test_truth_table():
    x, y = symbols('x,y')
    assert list(truth_table(And(x, y), [x, y],
                            input=False)) == [False, False, False, True]
    assert list(truth_table(x | y, [x, y],
                            input=False)) == [False, True, True, True]
    assert list(truth_table('x >> y', ['x', 'y'],
                            input=False)) == [True, True, False, True]

コード例 #3

def test_truth_table():
    assert list(truth_table(And(x, y), [x, y], input=False)) == \
        [False, False, False, True]
    assert list(truth_table(x | y, [x, y], input=False)) == \
        [False, True, True, True]
    assert list(truth_table(x >> y, [x, y], input=False)) == \
        [True, True, False, True]
    assert list(truth_table(And(x, y), [x, y])) == \
        [([0, 0], False), ([0, 1], False), ([1, 0], False), ([1, 1], True)]

コード例 #4

ファイル: test_boolalg.py プロジェクト: asmeurer/sympy

def test_truth_table():
    assert list(truth_table(And(x, y), [x, y], input=False)) == \
        [False, False, False, True]
    assert list(truth_table(x | y, [x, y], input=False)) == \
        [False, True, True, True]
    assert list(truth_table(x >> y, [x, y], input=False)) == \
        [True, True, False, True]
    assert list(truth_table(And(x, y), [x, y])) == \
        [([0, 0], False), ([0, 1], False), ([1, 0], False), ([1, 1], True)]

コード例 #5

ファイル: test_boolalg.py プロジェクト: Lenqth/sympy

def test_truth_table():
    assert list(truth_table(And(x, y), [x, y], input=False)) == [False, False, False, True]
    assert list(truth_table(x | y, [x, y], input=False)) == [False, True, True, True]
    assert list(truth_table(x >> y, [x, y], input=False)) == [True, True, False, True]