Para la simulación de los circuitos que traducen a visibles estos resultados, vamos a tomar el siguiente criterio:
- El LED 0 de la IceZum Alhambra representará el primer término de cada igualdad.
- El LED 7 de la IceZum Alhambra representará el segundo término.
Si ambos ledes se encienden simultáneamente, entenderemos esto como igualdad entre los miembros y, por tanto, que se cumple lo que se indica.
Postulados | Simulación |
---|---|
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación |
Teoremas | Simulación |
---|---|
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación | |
simulación |
Ley | Simulación |
---|---|
simulación | |
simulación |