def test_or_assicativity():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (((A | B) | C) == (A | (B | C)))
def test_or_assicativity():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (((A | B) | C) == (A | (B | C)))