Polish notation
From Wikipedia, the free encyclopedia.

Polish notation, also known as prefix notation was created by Jan Łukasiewicz. Operators are placed before operands.

Np   negation ~ p  
Kpq  conjunction p ∧ q  
Apq  disjunction p ∨ q  
Cpq  material implication p → q  
Epq  material equivalence      p ↔ q  
PxFx universal quantifier ∀ x, Fx  
SxGx existential quantifier ∃ x, Gx

See also: Reverse Polish Notation, Infix notation

The original article can be found at: http://en.wikipedia.org/wiki/Polish_notation.
All text is available under the terms of the GNU Free Documentation License.