parser for simple logic exprs
finish ch10