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

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