Seol mar théacs é seo: On the Computational Cost of Disjunctive Logic Programming: Propositional Case