25. Boolesche Algebra
Boolesche Äquivalenz
Niveau: mittel
Formel
Detail
Kriterium zur Überprüfung logischer Vereinfachungen.
Idee erkunden
Equivalencia booleana
Dos expresiones booleanas son equivalentes si producen la misma salida en todas las filas de la tabla de verdad.
Pruébalo — Edita F y G, o elige una identidad, y comprueba si las columnas de salida coinciden fila a fila.
F = ¬(A⊕B) · G = (A∧B)∨(¬A∧¬B)
✓ Equivalentes| Entradas | Salidas | Comparación | ||
|---|---|---|---|---|
| A | B | F | G | ✓/✕ |
| 0 | 0 | 1 | 1 | ✓ |
| 0 | 1 | 0 | 0 | ✓ |
| 1 | 0 | 0 | 0 | ✓ |
| 1 | 1 | 1 | 1 | ✓ |
Coincidencias
4
Diferencias
0
Equivalentes
Sí
F
1001
G
1001
✓
✓✓✓✓
F≡G: sí · 4/4 coincidencias