25. Algebra booleana
Equivalenza booleana
Livello: intermedio
Formula
Dettaglio
Criterio di verifica delle semplificazioni logiche.
Esplora l’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