Se define como objetivo comprobar la ejecución de la lógica booleana dentro del Software Nand2Tetris mediante el uso de códigos previamente implementados en donde se simula el funcionamiento de compuertas lógicas y multiplexores.
Para comprobar cada compuerta, se realizó la ejecución de los requerimientos. Partiendo de esto, a continuación, se presentan las salidas arrojados en cuanto a la tabla de verdad de cada compuerta lógica con su respectivo código:
Código
Código
Código
Para culminar, los resultados fueron satisfactorios ya que permiten comprobar la lógica booleana de una manera muy visual y dinámica. Miremos los resultados de la compuerta AND, podemos ver que la tabla que arroja el programa cumple exactamente con las salidas que deben dar desde la teoría, sabiendo que esta es la función multiplicativa. Y así con las demás, como es el caso de la NOT, etc. Con esto, podemos dar por alcanzado el objetivo principal y damos por terminada la práctica.