Formas Normales
Las expresiones lógicas se pueden reescribir en formas estándar. Estas se llaman formas normales. Los dos tipos más importantes: forma normal conjuntiva (CNF) y forma normal disyuntiva (DNF).
Forma Normal Disyuntiva (DNF)
La DNF es una forma donde la expresión es una disyunción de conjunciones. De otra manera: conjunciones en cada parte, y las partes están conectadas por disyunción.
Esto es DNF: primera parte (p ∧ q), segunda parte (¬p ∧ r), conectadas por ∨.
Forma Normal Conjuntiva (CNF)
La CNF es una forma donde la expresión es una conjunción de disyunciones. De otra manera: disyunciones en cada parte, y las partes están conectadas por conjunción.
Esto es CNF: primera parte (p ∨ q), segunda parte (¬p ∨ r), conectadas por ∧.
¿Por Qué Son Útiles?
- Ayudan a simplificar expresiones lógicas.
- Formas básicas en sistemas de prueba automatizados.
- Los algoritmos informáticos pueden trabajar con ellas más fácilmente.
Ejemplo de Transformación
Tomemos la expresión: (p → q). Esto se puede transformar en: (¬p ∨ q). Esto ya es tanto CNF como DNF, ya que hay solo una ∨.
Resumen
DNF: disyunción de conjunciones. CNF: conjunción de disyunciones. Toda expresión lógica se puede reescribir en una de estas formas normales.
Ejercicio de Práctica
Hemos revisado y comprobado los materiales, pero aún pueden existir errores. El contenido se ofrece únicamente con fines educativos, así que úsalo bajo tu propia responsabilidad y verifica con otras fuentes si es necesario.
✨ Pregunta a Lara — tu compañera de estudio con IA
Desbloquea soporte de aprendizaje personalizado. Lara puede explicar lecciones, resumir temas y responder tus preguntas — disponible desde el plan Go y superiores.
Lara te ayuda a aprender más rápido — exclusivo para los miembros ReadyTools Go, Plus y Max.
Seleccionar idioma
Establecer tema
© 2025 ReadyTools. Todos los derechos reservados.