¿Para que sirve transformar un enunciado a una Forma Formal?
Las formas normales pueden ser utilizadas para comparar dos enunciados y descubrir si son equivalentes. Cuando dos enunciados tienen la misma Forma Normal Conjuntiva puede afirmarse que son equivalentes. Igualmente, si sus Forma Normal Disyuntiva coinciden, también puede afirmarse que son equivalentes.
OJO! El hecho de que las formas normales de dos enunciados no sean idénticas no significa que estos enunciados no sean equivalentes.