La expresión booleana utiliza las variables descritas en la siguiente tabla en la cual "q" ∈ "Q", −"p"("n") ≤ "i" ≤ "p"("n"), "j" ∈ "Σ", y 0 ≤ "k" ≤ "p"("n"):