Disjunctive Logic Programs versus Normal Logic Programs