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

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