def test_distribute():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (distribute_and_over_or(Or(And(A, B), C)) == And(Or(A, C), Or(B, C)))
def test_distribute():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (distribute_and_over_or(Or(And(A, B), C)) == And(Or(A, C), Or(B, C)))