Na área de eletrônica digital, a tradução de circuitos lógicos em tabelas-verdade é uma etapa fundamental para compreender, verificar e validar o comportamento de um sistema. Enquanto o circuito mostra graficamente a interligação entre portas lógicas e sinais de entrada e saída, a tabela-verdade permite representar, de forma organizada, todas as combinações possíveis das entradas e os respectivos resultados produzidos na saída. Portanto, dado o circuito: 
                     

Qual é a tabela verdade que representa o seu comportamento?