Os dispositivos com circuitos digitais estão presentes no mundo contemporâneo. Um dos fundamentos desses circuitos são as portas lógicas, que geralmente são implementadas por meio de circuitos integrados (CI). Para representar as operações que ocorrem nesses circuitos, tipicamente é utilizada a álgebra booleana, aplicada genericamente a qualquer cálculo lógico envolvendo variáveis que assumem somente valores discretos mutuamente exclusivos entre si – 0 e 1. Considere uma aplicação na qual é necessária detecção de sinais: A e B, sinais principais, e C e D, sinais secundários. Essa aplicação deve produzir uma saída alta apenas quando pelo menos um sinal principal for alto ou quando todos os sinais secundários forem altos. A expressão booleana que representa esse circuito é