Solver lógico de predicado

A x (P(x) V Q(x))
Breakable Buffalo