solucionador lógico predicado

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