Para que una puerta / módulo / sistema sea Funcionalmente Completo , debe ser posible realizar cualquier puerta lógica de una combinación de esta puerta / módulo / sistema.
NAND es un ejemplo estándar de integridad funcional, ya que es posible hacer todas las puertas desde una red de puertas NAND. Lo mismo es cierto para las puertas NOR.
Para demostrar la integridad funcional de un sistema, debe mostrar una forma en la que se pueden hacer todas las demás puertas desde este sistema o mostrar que puede crear una puerta NAND o una puerta NOR desde su sistema. Lo primero lo demuestra a lo largo de todo el camino, lo último lo demuestra al confiar en que NAND / NOR están completos.
En su caso, para un decodificador 2-4, es posible hacer una compuerta NOR. La salida \ $ D_0 \ $ es el NOR de las entradas \ $ A \ $ y \ $ B \ $. Por lo tanto, un decodificador 2-4 está funcionalmente completo.