eine Notation für Formeln, in der bei binären Verknüpfungen der Operator (z. B. j) nicht zwischen die beiden Operanden (z. B. A und B) wie bei der Infixnotation (A j B), sondern nachgestellt wird (ABj). Die UPN hat wie die Präfixnotation (polnische Notation), bei der der Operator vorangestellt wird, den