boolesche Formel ausrechnen

[Dezipaitor]

hi

gibt es irgendeine Freeware komponente oder Dokumente über Algorithmen, mit denen man Formeln in der Form

F = (A = B) and ((C <> 3) or (D = 'tee'))

bestimmen kann,
ob
F wahr
oder
F falsch
ist?

Man beachte die die Klammerprioritäten und unterschiedliche Datentypen der Variablen.
Wobei der Inhalt der Variablen einfach in einer Liste steht.

thx