English: So, C 1 and C 2 and C k each clause is a disjunction of literals d1 d2 or d R each literal is either a proposition or it is negation.
Telugu: కాబట్టి,C1 మరియు C2 మరియు Ck ప్రతి నిబంధన అక్షరాస్యుల విడదీయడం d1 d2 లేదా dR ప్రతి అక్షరార్థం ఒక ప్రతిపాదన లేదా అది నిరాకరణ.