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