Dos fórmulas equisatisfactibles pueden tener diferentes modelos, ya que ninguna de ellas o ambas tienen un cierto estilo.
En general, el concepto de equisatisfactibilidad se utiliza en la conversión de fórmulas, es decir, se puede afirmar que una conversión es correcta si la fórmula original y el resultante son equisatisfactibles.
Los ejemplos de las conversiones que implican este concepto son Skolemización y algunas transformaciones para llegar a la forma normal conjuntiva.
es una nueva variable (una para cada disyunción sustituida) es una transformación en la que se conserva la satisfactibilidad, o sea, la fórmula original y resultante son equisatisfiables.
son falsas, y esto no es un modelo de la segunda fórmula, en la que