¿Qué es?
Es la forma de expresar un enunciado como una conjunción de disyunciones de átomos o de negaciones de átomos:
(...∨...∨...∨...)∧..∧(...∨...∨...∨...)∧..∧(...∨...∨...∨...)
¿Cómo podemos conseguir expresar un enunciado así?
-
Eliminar todas las apariciones de la conectiva
->sustituyendo A->B por ﹁A ∨ B. -
Interiorizar las negaciones para que sólo afecten a los átomos utilizando las leyes de De Morgan:
- ﹁(A ∧ B) en ﹁A ∨﹁B
- ﹁(A ∨ B) en ﹁A ∧﹁B
-
Simplificar las posibles dobles negaciones sustituyendo ﹁﹁A por A.
-
Aplicar la distributividad para que las conjunciones queden fuera de los paréntesis y las disyunciones dentro (sustituir A ∨ (B ∧ C) por (A ∨ B) ∧ (A ∨ C)).
-
Simplificar el resultado, si procede, utilizando la idempotencia, la complementariedad y la ley del supremo.