O expresie logica este formata din variabile (litere mari ale alfabetului latin) si operatori ( $+$ e disjunctie, $*$ conjunctie si $!$ negatie). De exemplu, $!((A + B) * A)$ este o expresie logica in forma infixata. O expresie in forma postfixata se remarca prin disparitia parantezelor si asezarea operatorilor la sfarsitul ei. Iata un exemplu de expresii, in forma infixata si postfixata:
table(exemplu). |_. forma infixata|_. forma postfixata |

| !((A + B) * A) | AB+A*! |
| (A + B) * C * (B + A) | AB+C*BA+* |

| $!((A + B) * A)$ | $AB+A*!$ |
| $(A + B) * C * (B + A)$ | $AB+C*BA+*$ |

Consideram o ordine lexicografica pe multimea operatorilor si cea a variabilelor ( $a..z$ < $+$ < $*$ < $!$). Se cere, mai intai, sa se numere toate expresiile in forma postfixata de lungime $N$ ce au variabilele printre primele $K$ litere ale alfabetului latin, iar operatorii printre cei amintiti mai sus. Se cere apoi sa se afiseze expresia de pe pozitia $P$ din lista ordonata de expresii (prima expresie din lista e pe pozitia $1$).