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