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]