25. Algèbre booléenne
Les lois de De Morgan
Niveau: fondamental
Formule
Détail
Transforme les négations de OR et AND.
Explore l’idée
Leyes de De Morgan
De Morgan: negar un AND es como un OR de negaciones (y al revés).
Pruébalo — Cambia A y B: las dos expresiones de cada ley siempre dan el mismo resultado.
A
B
Idea en palabras
«no ambos» se reescribe como «al menos uno no».
Expresión original
¬(A∧B)
¬(A∧B)
Transformada
¬A∨¬B
Tras cruzar ¬
¬(A∧B) = 1 · ¬A∨¬B = 1 ✓
¬(A∧B) = 1 = ¬A∨¬B = 1
A=1, B=0 · ¬(A∧B) = 1 · ¬A∨¬B = 1 · equivalentes