25. Boolean algebra
Boolean equivalence
Level: intermediate
Formula
Detail
Criterion for checking logical simplifications.
Explore the 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