algorithm to parse a propositional logic formula

[Riccardo]

Does anyboby know where I ccan find an algorithm to parse a propositional 
logic formula and obtain the associated binary tree? thanks