Der Parser versteht nur die sogenannte polnische Notation (auch PrŠfixnotation genannt): Alle Junktoren stehen vor den
Teilformeln und es werden keine Klammern verwendet.
Die Junktoren sind 'and', 'or', '-' (Negation).
Der Parser erwartet, dass die Junktoren (auch '-') durch Leerzeichen abgesetzt sind.
Fuer die Darstellung des Parsing-Resultates wird aber die uebliche Infix-Notation mit Klammern
verwendet.