def test_disjuncts():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (disjuncts(((A | B) | C)) == set([A, B, C]))
    assert (disjuncts(((A | B) & C)) == set([((A | B) & C)]))
    assert (disjuncts(A) == set([A]))
    assert (disjuncts(True) == set([True]))
    assert (disjuncts(False) == set([False]))
def test_disjuncts():
    (A, B, C) = list(map(Boolean, symbols('A,B,C')))
    assert (disjuncts(((A | B) | C)) == set([A, B, C]))
    assert (disjuncts(((A | B) & C)) == set([((A | B) & C)]))
    assert (disjuncts(A) == set([A]))
    assert (disjuncts(True) == set([True]))
    assert (disjuncts(False) == set([False]))