Prädikat logischer Solver

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