¿Qué es?
Es la forma de expresar un enunciado como una disyunción de conjunciones de átomos o de negaciones de átomos:
(...∧...∧...∧...)∨..∨(...∧...∧...∧...)∨..∨(...∧...∧...∧...)
¿Cómo podemos conseguir expresar un enunciado así?
Para encontrar la FND de cualquier enunciado, hay que seguir los mismos pasos que para FNC, pero aplicando la distributividad de la disyunción*. Es decir:
A∧(B∨C) == (A∨C)∧(A∨B)