逻辑表达式语法正确性验证

给定逻辑表达式，如：
1. a and b
2. (a and b) or (c and d)
3. a b
4. a and b or

如上 3、4不正确
如何使用正则或者antlr 或者其他方式验证？