O exrpresie logica este formata din variabile (litere mici 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(example). |_. expresii2.in |_. expresii2.out |

| This is some
  text written on
  multiple lines.
| This is another
  text written on
  multiple lines.
|

| !((a + b) * a) | ab+a*! |
| (a + b) * c * (b + a) | ab+c*ba+* |