Se definen las expresiones booleanas “B” como la conjunción de las cláusulas de la siguiente tabla, para todo −"p"("n") ≤ "i" ≤ "p"("n") y 0 ≤ "k" ≤ "p"("n"):