Integers 0 to 2 n- 1 are converted into n-bit binary numbers, and then the binary numbers are converted into conjunctive expressions, where 1 corresponds to propositional variables and 0 corresponds to the negation of propositional variables.

P∧q∧r, for example, when n=3, 0 to 7 is converted into 000,00 10/,0 1 1,1.