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 |

table(example) |_. expresii2.in |_. expresii2.out |

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