def test_and_associativity():
    'Test for associativity of And'
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (((A & B) & C) == (A & (B & C)))
Test for associativity of And
def test_and_associativity():
    
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (((A & B) & C) == (A & (B & C)))