My attempt at a very basic propositional logic parser in PHP