== Inhalt ==

Mit diesem Programm können Sie prüfen, ob eine Formel syntaktisch korrekt ist.
Rufen Sie dazu das Programm mit einer Formel als Parameter auf.


== Syntax ==

Formeln werden folgendermassen kodiert:
  * Variablen sind Buchstabenfolgen: A, B, Sonne, Regen, ...
  * Konjunktionen:   (phi /\ psi)
  * Disjunktionen:   (phi \/ psi)
  * Negationen:      ~phi
  * Implikationen:   (phi -> psi)
  * Biimplikationen: (phi <-> psi)


== Kompilieren und Ausführen des Programms ==
   === Variante 1 (Eclipse) ===
Im Archiv ist ein Projekt enthalten, das Sie mit der IDE Eclipse öffnen können.
Zum Ausführen geben Sie die zu testende Formel in Anführungszeichen unter
"Run Configurations" -> "Arguments" an. 

   === Variante 2 (Konsole) ===
Öffnen Sie eine Konsole und navigieren Sie zum Verzechnis in welchem sich 
diese README Datei befindet. 
Geben Sie anschliessend folgende Befehle in die Konsole ein um das Program zu kompilieren.

$ cd src
$ javac logic/formulas/Parser.java 

Beachten Sie, dass dazu ein Java Kompiler auf Ihrem Rechner installiert sein muss.

Um Ihre Formeln zu überprüfen, rufen Sie das Programm mit folgendem Befehl auf, 
wobei zwischen den Anführungszeichen Ihre Formel steht. 

$ java logic/formulas/Parser "(Sonne -> ~Regen)"

== Ausgabe ==

Bei einer korrekten Formel wird der Typ der Formel und die Formel selber ausgegeben.
Bei einem Fehler wird eine Fehlerbeschreibung ausgegeben, die aussagt, welches Zeichen
an der fehlerhaften Stelle erwartet wurde.
