Introdução10.1
Hoje você vai aprender a reduzir uma expressão booleana sem mudar a tabela-verdade. Em outras palavras, a função continua igual, mas o circuito fica mais simples, com menos portas, menos repetição e, em geral, menos atraso.
Antes de seguir, vale ter em mente três coisas da aula anterior: tabela-verdade, SOP e POS. Se esses nomes ainda estiverem nebulosos, volte um passo e revise, porque a minimização só faz sentido quando a forma original da função já está clara.
Minimizar não é mudar a função e sim apagar o que está sobrando. Se duas expressões geram a mesma saída para todas as combinações de entrada, a forma menor costuma ser preferível porque ocupa menos espaço, usa menos portas e facilita a leitura do circuito.
Exemplo Inicial10.2
Considere a função $S$ abaixo. Vamos olhar primeiro para as duas formas canônicas, porque elas mostram a mesma função por caminhos diferentes. A POS destaca as linhas em que a saída vale 0; a SOP destaca as linhas em que a saída vale 1.
$$ \begin{array}{c|c||c} A & B & S \\ \hline 0 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \\ 1 & 1 & 1 \end{array} $$
A partir das linhas em que $S=0$, obtemos a POS canônica equivalente:
$$ S = \Pi M(0, 1) = (A + B)(A + \bar{B}) $$
A partir das linhas em que $S=1$, obtemos a SOP canônica:
$$ S = \Sigma m(2, 3) = A\bar{B} + AB $$
As duas expressões descrevem exatamente a mesma tabela-verdade. A diferença está apenas na forma de escrever a função. Uma agrupa os casos em que a saída é 1, a outra agrupa os casos em que a saída é 0. A partir dessas duas escritas, podemos derivar circuitos lógicos equivalentes e comparar qual implementação fica mais clara.
SOP canônica
POS canônica
Mas ainda podemos ir além. Com as regras de minimização, removemos as partes redundantes sem alterar a tabela-verdade e chegamos a uma implementação menor.
Forma minimizada
Leitura final
Quando $A=1$, o valor de $B$ deixa de importar.
Em termos práticos, isso significa trocar uma implementação que repete trabalho por outra que expressa apenas o que realmente importa. É por isso que a minimização vale tanto em projeto de circuito quanto em leitura de expressão: ela deixa explícito o que é essencial.
No exemplo acima, a redução mostra algo importante: o valor de $B$ só serve para separar os termos da forma canônica. Depois da simplificação, ele deixa de influenciar a saída, porque a função inteira pode ser representada apenas por $A$.
O ponto central é que a expressão reduzida precisa continuar produzindo exatamente a mesma tabela-verdade. O que pode sair são repetições, constantes inúteis e termos que já estão cobertos por outros mais simples.
Identidades Básicas: As Ferramentas de Limpeza10.3
Agora que você viu a ideia geral, vamos para as regras que fazem a simplificação acontecer de verdade. Não as veja apenas como fórmulas para decorar, cada uma descreve um comportamento físico do circuito e pode ser confirmada diretamente pela tabela-verdade.
Essas identidades funcionam como um primeiro nível de "limpeza". Elas eliminam o que nunca ajuda, o que já está garantido e o que está apenas repetido. Podemos agrupá-las em três grandes comportamentos:
O impacto das constantes (Identidade e Nulidade)10.3.1
Quando uma entrada de uma porta está "travada" em 0 ou 1, ela pode dominar o resultado ou ser completamente neutra.
| Comportamento | Expressão | Significado Prático |
|---|---|---|
| Identidade (Neutras) | $A \cdot 1 = A$ $A + 0 = A$ |
O sinal "passa" pela porta sem sofrer alteração. |
| Nulidade (Dominantes) | $A \cdot 0 = 0$ $A + 1 = 1$ |
A constante "força" a saída, ignorando o valor de $A$. |
Idempotência e Complemento10.3.2
Aqui lidamos com a relação de uma variável com ela mesma ou com seu oposto.
| Regra | Expressão | Significado Prático |
|---|---|---|
| Idempotência | $A + A = A$ $A \cdot A = A$ |
Repetir a mesma informação não cria uma condição nova. |
| Complemento OR | $A + \bar{A} = 1$ | Um sinal ou seu oposto cobrem 100% dos casos possíveis. |
| Complemento AND | $A \cdot \bar{A} = 0$ | Um sinal e seu oposto nunca podem ser verdadeiros ao mesmo tempo. |
Essas identidades parecem pequenas, mas são elas que abrem espaço para a simplificação maior. Reconhecê-las cedo evita expandir uma expressão desnecessariamente e reduz erros de cálculo.
Vamos começar com casos pequenos para treinar o olhar. Antes de tentar técnicas sofisticadas, você precisa identificar quando a expressão está apenas "repetindo informação".
Simplifique a expressão: $S = AB + AB$
Resolução:
$$ \begin{split} S &= AB + AB \\ S &= AB \quad \text{(Idempotência)} \end{split} $$
Por que isso importa?
A repetição é inútil porque o segundo termo não acrescenta nenhuma linha nova na tabela-verdade. Em hardware, isso significa que você duplicou a mesma condição sem alterar a saída. A solução correta é apagar o termo redundante, economizando portas e espaço.
O segundo caso ilustra uma situação ainda mais forte. Um termo que nunca pode valer 1. Antes de fazer qualquer conta maior, vale aprender a identificar essas contradições internas.
Simplifique a expressão abaixo:
$$ S = A\bar{A} + B $$
Resolução:
$$ \begin{split} S &= A\bar{A} + B \\ S &= 0 + B \quad \text{(complemento)} \\ S &= B \quad \text{(identidade)} \end{split} $$
O produto $A\bar{A}$ nunca pode valer 1, porque exige que $A$ seja 0 e 1 ao mesmo tempo. Ele ocupa espaço algébrico, mas não ocupa espaço lógico. Por isso ele pode ser removido sem medo: não há linha da tabela-verdade que dependa dele para mudar a saída.
O terceiro caso reúne duas ideias de uma vez. Uma constante já define tudo e outra não contribui em nada. É um bom lembrete de que simplificar também é reconhecer o que pode ser descartado antes mesmo de virar circuito.
Simplifique a expressão abaixo:
$$ S = 1 \cdot (A + B) + 0 \cdot C $$
Resolução:
$$ \begin{split} S &= 1 \cdot (A + B) + 0 \cdot C \\ S &= (A + B) + 0 \\ S &= A + B \end{split} $$
Aqui o 1 preserva o bloco da esquerda, enquanto o 0 elimina o bloco da direita por completo. Em hardware, isso significa que o segundo ramo nem deveria existir. O ponto pedagógico é perceber que o circuito final deve refletir só os blocos que realmente afetam a saída.
Quando dois termos escondem um só10.4
Depois das identidades mais simples, o próximo passo é procurar estrutura repetida. A fatoração é uma das ferramentas mais importantes porque mostra onde o circuito está repetindo trabalho. Quando dois produtos compartilham parte da estrutura, você pode colocar essa parte em evidência e eliminar a variável que varia dentro do grupo. Na prática, isso costuma reduzir um ramo inteiro do circuito.
O foco agora muda. Em vez de apenas apagar o que não serve, você vai reorganizar o que sobra para enxergar um fator comum. Ao analisar a expressão, observe qual variável aparece em todos os termos e qual variável só muda dentro do grupo.
Simplifique a expressão abaixo:
$$ S = ABC + AB\bar{C} $$
Resolução:
$$ \begin{split} S &= ABC + AB\bar{C} \\ S &= AB(C + \bar{C}) \quad \text{(fatoração)} \\ S &= AB \cdot 1 \quad \text{(complemento)} \\ S &= AB \end{split} $$
Circuito original
Circuito reduzido
Ao analisar a expressão, observe qual variável aparece em todos os termos e qual variável muda dentro do grupo. O valor de $C$ muda dentro dos dois termos, então ele desaparece depois da fatoração. A ideia central aqui é que a variável “interna” do grupo não precisa continuar aparecendo quando os dois casos já foram reunidos.
O exemplo seguinte é quase o espelho do anterior. Ele existe para mostrar que a técnica não depende de qual letra você escolhe, ou seja, o raciocínio é o mesmo sempre que houver um fator comum e uma variável alternando entre normal e negada.
Simplifique a expressão abaixo:
$$ S = ABD + \bar{A}BD $$
Resolução:
$$ \begin{split} S &= ABD + \bar{A}BD \\ S &= (A + \bar{A})BD \quad \text{(fatoração)} \\ S &= 1 \cdot BD \quad \text{(complemento)} \\ S &= BD \end{split} $$
Agora quem se repete é $BD$. O que muda é $A$, então ele desaparece da expressão final. A saída passa a depender apenas da combinação de $B$ e $D$. Isso reforça que a fatoração procura o bloco estável da expressão, não uma letra específica.
Agora a expressão fica um pouco maior. A ideia é mostrar que a fatoração pode ser repetida em níveis diferentes, sempre limpando uma camada antes de atacar a próxima.
Simplifique a expressão abaixo:
$$ S = ABCD + ABC\bar{D} + AB\bar{C}D + AB\bar{C}\bar{D} $$
Resolução:
$$ \begin{split} S &= ABC(D + \bar{D}) + AB\bar{C}(D + \bar{D}) \\ S &= ABC \cdot 1 + AB\bar{C} \cdot 1 \\ S &= ABC + AB\bar{C} \\ S &= AB(C + \bar{C}) \\ S &= AB \end{split} $$
Aqui a simplificação acontece em duas etapas. Primeiro você percebe que cada par difere só em $D$. Depois percebe que o resultado ainda repete a mesma estrutura em $C$. Em circuito, isso significa eliminar dois níveis de decisão até sobrar apenas a combinação principal $AB$. Esse é o tipo de leitura que transforma uma conta longa em uma sequência organizada de decisões menores.
Quando um termo já cobre o outro10.5
Depois que você agrupa fatores comuns, vale perguntar se algum termo passou a ser desnecessário. Absorção aparece quando um termo menor já garante tudo o que o termo maior tentaria cobrir. O termo maior vira redundante porque não amplia a região em que a saída é 1. É uma das simplificações mais importantes porque costuma aparecer depois da fatoração.
Aqui a perspectiva muda novamente. Agora você não busca mais reunir termos, e sim perceber quando um deles já está totalmente contido em outro. Antes de resolver, pergunte: "se eu já tenho esse termo menor, o termo maior acrescenta alguma linha nova?"
Simplifique a expressão abaixo:
$$ S = A + AB $$
Resolução:
$$ \begin{split} S &= A + AB \\ S &= A(1 + B) \\ S &= A \end{split} $$
$$ \begin{array}{c|c|c|c} A & B & A + AB & AB \\ \hline 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 1 & 1 & 1 & 1 \end{array} $$
Antes da absorção
Depois da absorção
A tabela mostra que $AB$ nunca cria uma linha nova de saída 1. Sempre que $A$ já é 1, o termo maior não muda nada. Essa é a essência da absorção: o termo mais curto já cobre tudo o que interessava.
O próximo caso mostra que a absorção pode acontecer mais de uma vez na mesma expressão. Isso é importante porque, em problemas reais, a simplificação quase nunca termina no primeiro corte.
Simplifique a expressão abaixo:
$$ S = AB + ABC + ABD $$
Resolução:
$$ \begin{split} S &= AB + ABC + ABD \\ S &= AB + ABD \quad \text{(absorção em } AB + ABC\text{)} \\ S &= AB \quad \text{(absorção novamente)} \end{split} $$
O ponto importante é perceber que, depois que o termo menor $AB$ aparece, qualquer outro termo que dependa totalmente dessa combinação deixa de ser necessário. Em outras palavras: depois que você encontrou um bloco que já cobre a condição, os termos que apenas adicionam variáveis extras a esse bloco perdem utilidade.
Este exemplo junta as duas ideias anteriores: primeiro você fatora, depois percebe que o resultado abriu espaço para absorção. Ele é útil porque mostra a ordem real de trabalho, que quase sempre mistura várias regras.
Simplifique a expressão abaixo:
$$ S = A\bar{B} + AB + BCD $$
Resolução:
$$ \begin{split} S &= A\bar{B} + AB + BCD \\ S &= A(\bar{B} + B) + BCD \\ S &= A \cdot 1 + BCD \\ S &= A + BCD \end{split} $$
Esse tipo de expressão aparece bastante em projetos reais. O circuito pode vir com vários ramos, e após simplificar o bloco principal, você percebe quais termos realmente são independentes. A mensagem prática é que não se deve desistir cedo. Às vezes a absorção ou a simplificação de um bloco revela a estrutura final da expressão.
Quando a barra cobre o grupo inteiro10.6
Por fim, quando a expressão traz uma negação sobre um grupo inteiro, entra a lei de DeMorgan. O erro mais comum é tentar “mover” a barra sem trocar a operação. Isso está errado. A barra troca AND por OR e OR por AND, além de negar cada variável do grupo.
Quando essa regra aparece, pense nela como uma reorganização estrutural, não como um truque isolado. Ela costuma abrir a expressão para outra simplificação, e não encerrar o processo sozinha.
Antes dos exemplos, vale guardar a ideia principal. A lei de DeMorgan não só nega o grupo, mas também altera a forma de olhar para a expressão inteira.
Comparação de saída
$$ \begin{array}{c|c|c} A & B & \overline{AB} \\ \hline 0 & 0 & 1 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0 \\ \end{array} $$
Forma equivalente
$$ \begin{array}{c|c|c} A & B & \bar{A} + \bar{B} \\ \hline 0 & 0 & 1 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0 \\ \end{array} $$
Circuito negado
Circuito equivalente
Nos próximos três exemplos, a barra sobre o grupo inteiro deixa de ser um obstáculo e vira a pista principal da simplificação.
Simplifique a expressão abaixo:
$$ S = \overline{\bar{A} + B} $$
Resolução:
$$ \begin{split} S &= \overline{\bar{A} + B} \\ S &= \overline{\bar{A}} \cdot \bar{B} \quad \text{(DeMorgan)} \\ S &= A\bar{B} \end{split} $$
A ideia aqui é que a negação externa não “some” a expressão. Ela força a troca da operação interna e inverte cada sinal envolvido. Depois de aplicar a regra, a expressão costuma ficar mais pronta para uma próxima fatoração ou comparação com outro termo.
Agora a barra envolve uma expressão maior. O objetivo é mostrar que a mesma regra continua valendo mesmo quando a estrutura tem mais de um grupo interno.
Simplifique a expressão abaixo:
$$ S = \overline{(A + B)(\bar{A} + C)} $$
Resolução:
$$ \begin{split} S &= \overline{A + B} + \overline{\bar{A} + C} \\ S &= \bar{A}\bar{B} + A\bar{C} \end{split} $$
Essa forma é interessante porque mostra o papel de DeMorgan como reorganização, não como simplificação final. Primeiro ele abre a expressão. Depois você observa se ainda existe algo para fatorar ou absorver. Em estudo sozinho, essa sequência evita aplicar a regra e parar cedo demais.
O próximo exemplo junta negação e fatoração para mostrar como as técnicas se encadeiam na prática.
Simplifique a expressão abaixo:
$$ S = \overline{A + B}(C + D) + \overline{A + B}E $$
Resolução:
$$ \begin{split} S &= \overline{A + B}(C + D) + \overline{A + B}E \\ S &= \overline{A + B}((C + D) + E) \\ S &= \overline{A + B}(C + D + E) \\ S &= \bar{A}\bar{B}(C + D + E) \end{split} $$
Aqui você vê duas ideias juntas. Primeiro, a barra externa vira um fator comum. Depois, DeMorgan transforma a negação do grupo em um produto simples de complementos. O que importa é perceber a ordem: abrir a estrutura e só então reorganizar o que sobrou.
Uma estratégia prática para atacar expressões maiores10.7
Quando a expressão ficar grande, vale seguir uma rotina fixa. Sem método, tendemos a testar regras ao acaso e a nos perder no meio da conta.
- elimine constantes, repetições e complementos imediatos
- procure fatores comuns
- teste absorção sempre que um termo parecer contido em outro
- use DeMorgan quando houver barra sobre grupo inteiro
- volte a procurar absorção depois de cada passo
Um bom sinal de que você está no caminho certo é que a expressão fica progressivamente mais curta e cada passo passa a depender de uma ideia simples, não de muitos truques ao mesmo tempo.
Nos exemplos seguintes, a ideia é mostrar justamente esse encadeamento: limpar, agrupar, absorver e revisar.
Simplifique a expressão abaixo:
$$ S = ABC + AB\bar{C} + AD + ADE $$
Resolução:
$$ \begin{split} S &= AB(C + \bar{C}) + AD + ADE \\ S &= AB \cdot 1 + AD(1 + E) \\ S &= AB + AD \end{split} $$
Esse exemplo é útil porque mostra como o trabalho pode ser dividido em blocos. Primeiro, limpamos o primeiro par por fatoração. Depois, percebemos que o segundo bloco permitia uma absorção simples. A simplificação costuma avançar em ondas, tratando cada parte da expressão de acordo com o padrão identificado.
O último exemplo fecha a aula mostrando a diferença entre a expressão original e a versão reduzida do circuito. A leitura visual ajuda a consolidar por que o trabalho de simplificação vale a pena.
Simplifique a expressão abaixo:
$$ S = A\bar{B}C + A\bar{B}\bar{C} + \bar{A}BC + \bar{A}B\bar{C} $$
Resolução:
$$ \begin{split} S &= A\bar{B}(C + \bar{C}) + \bar{A}B(C + \bar{C}) \\ S &= A\bar{B} + \bar{A}B \end{split} $$
Forma original
Forma reduzida
A simplificação é boa porque cada par de termos diferia só em $C$. Quando você remove esse detalhe, sobra uma expressão muito mais limpa e o circuito perde um nível inteiro de repetição. Ou seja, o desenho final deixa de carregar uma diferença que não alterava a função.
Questões10.8
1. Qual é o objetivo principal da minimização algébrica em sistemas digitais, conforme descrito no texto?
- A) Alterar a função lógica para que o circuito processe os dados de forma diferente.
- B) Aumentar o número de portas lógicas para garantir que o sinal não sofra atrasos.
- C) Reduzir a expressão booleana para simplificar o circuito sem modificar sua tabela-verdade.
- D) Transformar obrigatoriamente toda Soma de Produtos (SOP) em um Produto de Somas (POS) para economizar espaço.
2. Sobre as identidades básicas da álgebra booleana, analise as afirmações abaixo e identifique quais são verdadeiras (V) ou falsas (F):
- ( ) A regra da Idempotência afirma que $A + A = A$, indicando que repetir a mesma informação não cria uma condição nova.
- ( ) A Nulidade na operação AND ocorre quando $A \cdot 0 = 0$, pois a constante zero "força" a saída.
- ( ) O Complemento na operação OR ($A + \bar{A} = 1$) indica que um sinal ou seu oposto cobrem 100% dos casos possíveis.
- ( ) A Identidade na operação OR ($A + 0 = 0$) mostra que o valor zero domina o resultado da porta lógica.
3. Considere a expressão $S = XYZ + XY\bar{Z}$. Utilizando a técnica de fatoração e a identidade de complemento apresentadas na aula, qual é a forma simplificada de $S$?
- A) $XYZ$
- B) $XY$
- C) $XZ$
- D) $X + Y$
4. De acordo com a Lei de DeMorgan, qual é o procedimento correto ao lidar com uma barra de negação que cobre um grupo inteiro, como na expressão $\overline{A \cdot B}$?
- A) Negar cada variável individualmente e manter a operação de produto: $\bar{A} \cdot \bar{B}$.
- B) Manter as variáveis como estão e apenas trocar a operação para soma: $A + B$.
- C) Negar cada variável e trocar a operação de produto para soma: $\bar{A} + \bar{B}$.
- D) Remover a barra de negação sem alterar as variáveis ou a operação interna.
5. Simplifique a expressão booleana abaixo aplicando a regra de absorção e as identidades de constantes:
$$S = A + AB + 0 \cdot C$$
Explique quais termos foram eliminados e por quê, baseando-se no comportamento físico do circuito (neutralidade ou dominância).
6. Analise a expressão $S = ABCD + ABC\bar{D}$.
- a) Identifique qual variável muda de estado entre os dois termos, enquanto o restante do bloco permanece estável.
- b) Aplique a fatoração para colocar o bloco estável em evidência.
- c) Apresente a expressão simplificada final.
7. Simplifique a expressão booleana abaixo passo a passo, identificando qual regra ou identidade foi aplicada em cada etapa para reduzir o número de portas do circuito:
$$S = ABC + AB\bar{C} + BD + BDE + \bar{F} \cdot 0$$
8. Resolva a simplificação da expressão abaixo, que envolve o uso de leis de DeMorgan seguidas de fatoração e absorção:
$$S = \overline{(A+B)} \cdot C + \bar{A}\bar{B}\bar{C} + (D + \bar{D})E + EF$$
9. Realize a redução completa da expressão a seguir, aplicando sucessivamente a fatoração e a regra de absorção em diferentes níveis:
$$S = XY + XYZ + \bar{X}W + \bar{X}WZ + ABC + AB\bar{C}$$
10. Simplifique a expressão booleana abaixo, tratando primeiro as negações de grupo e as constantes de identidade:
$$S = \overline{A + B} + \overline{A + B + C} + D \cdot 1 + D \cdot E$$
2. V, V, V, F
3. B
4. C
5. $S = A$ (O termo $0 \cdot C$ é anulado por nulidade; $A+AB$ é reduzido por absorção).
6. a) $D$; b) $ABC(D + \bar{D})$; c) $ABC$.
7. $S = AB + BD$ (ou $B(A+D)$).
8. $S = \bar{A}\bar{B} + E$.
9. $S = XY + \bar{X}W + AB$.
10. $S = \bar{A}\bar{B} + D$.
Próximos passos10.9
No próximo capítulo, Minimização Visual, aprenderemos como utilizar o Mapa de Karnaugh para identificar esses agrupamentos de forma gráfica, facilitando a simplificação de funções que possuem um volume maior de variáveis.