def test_commutative():
    'Test for commutivity of And and Or'
    (A, B) = list(map(Boolean, symbols('A,B')))
    assert ((A & B) == (B & A))
    assert ((A | B) == (B | A))
Test for commutivity of And and Or
def test_commutative():
    
    (A, B) = list(map(Boolean, symbols('A,B')))
    assert ((A & B) == (B & A))
    assert ((A | B) == (B | A))