A parsing algorithm for logical expressions. Specified in Infix Notation to produce a Postfix Notation