Abstract syntax tree for propsitional langauge