Logic Parsing - Algorithmus

Hallo,

ich suche einen Algorithmus, der mir aus folgendem Syntax eine Logik Struktur (Baum) erstellt.

((A && B) || C) && C

Wenn jemand hierzu bereits interessante Erfahrung gesammelt hat, wäre ich an diesen sehr interessiert.
Einsetzen möchte ich dies in PHP.

V. Gruß

Maxi

google nach

"parsing expressions"

gleich der erste link. ist zwar für terme, aber son logikdings ist ja auch nicht viel anders