Para encontrar la forma normal de Skolem de cualquier fórmula se siguen los pasos siguientes: