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(exemplu-expresii). |_. 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+* |

h2. Date de intrare