def test_Or():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (Or() == False)
    assert (Or(A) == A)
    assert (Or(True) == True)
    assert (Or(False) == False)
    assert (Or(True, True) == True)
    assert (Or(True, False) == True)
    assert (Or(False, False) == False)
    assert (Or(True, A) == True)
    assert (Or(False, A) == A)
    assert (Or(True, False, False) == True)
    assert (Or(True, False, A) == True)
    assert (Or(False, False, A) == A)
def test_Or():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (Or() == False)
    assert (Or(A) == A)
    assert (Or(True) == True)
    assert (Or(False) == False)
    assert (Or(True, True) == True)
    assert (Or(True, False) == True)
    assert (Or(False, False) == False)
    assert (Or(True, A) == True)
    assert (Or(False, A) == A)
    assert (Or(True, False, False) == True)
    assert (Or(True, False, A) == True)
    assert (Or(False, False, A) == A)