Programación Funcional - Comprobación expresiones booleanas bien formadas

necesito algún algoritmo que compruebe si una expresión booleana es correcta, o sea, que me diga, por ejemplo que la expresión 'gato and casa' esta bien formada sintacticamente, en cambio 'gato and' no lo està, o que 'gato and perro and (casa or coche)' también està bien formada y 'gato and perro) or casa or (coche' no es correcto. Muchas gracias. Lo necesito urgente para realizar un programa donde tengo una especie de buscador y para realizar las búsquedas necesito comprobar que las expresiones entradas son correctas. Muchas gracias.