25. Boolesche Algebra
De Morgans Gesetze
Niveau: grundlegend
Formel
Detail
Transformiert Negationen von OR und AND.
Idee erkunden
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