Each clause is a disjunction .
This does not harm satisfiability , for if we can find a satisfying assignment for the truncated formula , it can easily be extended to a satisfying assignment for the original formula by reinserting the truncated literals .
Since each clause is a disjunction , this does not harm satisfiability , for if we can find a satisfying assignment for the truncated formula , it can easily be extended to a satisfying assignment for the original formula by reinserting the truncated literals .