25. Álgebra booleana
Equivalencia booleana
Nivel: intermedio
Fórmula
Detalle
Criterio para verificar simplificaciones lógicas.
Explora la idea
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