def distribute_and_over_or(expr):
 return _distribute((expr, And, Or))

def distribute_and_over_or ( expr ) : return _distribute ( ( expr , And , Or ) )
given a sentence s consisting of conjunctions and disjunctions of literals .