added PropositionalLogicParserTest
fixed bug in parser operator precedence