Na eletrônica digital, os sistemas (computadores, processadores de dados, sistemas de controle, codificadores, decodificadores, entre outros) empregam um pequeno grupo de circuitos lógicos básicos, que são conhecidos como portas.

Segundo Monteiro (2007), o projeto de circuitos digitais e a análise de seu comportamento em um computador podem ser realizados por meio da aplicação de conceitos e regras estabelecidas por uma disciplina conhecida como Álgebra de Chaveamentos, a qual é um ramo da Álgebra de Boole ou Álgebra Booleana.

MONTEIRO, M. Introdução à organização de computadores. 5. ed. Rio de Janeiro: LTC, 2007.

A tabela a seguir mostra o resumo dos símbolos gráficos e matemáticos (equação booleana) de portas lógicas.

Dado o circuito:

A expressão correta é