25. Álgebra booleana
Equivalência booleana
Nível: intermediário
Fórmula
Detalhe
Critério para verificação de simplificações lógicas.
Explore a ideia
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