tokens: In the same way , it is well - known that , in propositional logic , the conjunctive normal form ( CNF ) is model - extending equivalent , but not necessarily model - preserving equivalent , to the conjunctive normal form where every clause has at most three literals ( 3CNF ) .