Logic formula parser v1 (just negation, or, and)