Anfonwch hwn fel neges destun: On the Computational Cost of Disjunctive Logic Programming: Propositional Case