6.5.12 Исчисление предикатов

Условие: Преобразовать следующие формулы в клаузальную форму: \[ Q(x, w) \vee \neg \exists x \forall w(P(x, w) \& Q(x, z)) \vee \neg S(z, w) . \]