Conversión a forma Clausal

Question

Quiero convertir esta fórmula a forma clausal: <span class="math-container">$\lnot \forall</span>

Answer 1

Como Mauro Allegranza dijo en su primer comentario, es un primer error en la segunda fórmula: desde <span class="math-container">$(A \to B) \equiv (\lnot A \lor B)$</span>, debe ser su segunda fórmula <span class="math-container">\begin{align} \lnot \forall</span>