Simplifique as expressões lógicas abaixo utilizando o método que julgar mais adequado (obtenha expressões mínimas).
\overline{\bar{A} \cdot B \cdot \bar{C}}

Passo 1

O enunciado dá a expressão lógica a ser simplificada:
\overline{\bar{A} \cdot B \cdot \bar{C}}
O que se pede: obter uma expressão equivalente mínima (ou seja, simplificar ao máximo).
Informações claras sobre a notação que aparece na expressão:
  • \bar{X} representa a negação (NOT) da variável X.
  • \cdot representa a conjunção lógica (AND).
  • O operador \overline{(\cdot)} sobre toda a expressão significa a negação do conjunto (complemento da expressão AND).
  • O objetivo é transformar essa expressão em uma forma mais simples, preferivelmente numa soma (OR) de literais mínima.

Passo 2

Apresentando as ferramentas que vamos usar (com explicação didática e intuitiva):
  • Teorema de De Morgan (forma básica): para duas proposições X e Y,
\overline{X \cdot Y} = \overline{X} + \overline{Y}, \qquad \overline{X + Y} = \overline{X} \cdot \overline{Y}.
Intuição: a negação de “X e Y” é “não X ou não Y” — se a conjunção inteira é falsa, pelo menos uma das partes é falsa.
  • Generalização para três (ou mais) termos: a negação da conjunção de três termos é a disjunção das negações:
\overline{X \cdot Y \cdot Z} = \overline{X} + \overline{Y} + \overline{Z}.
  • Dupla negação (identidade): para qualquer X,
\overline{\overline{X}} = X.
Intuição: negar duas vezes volta ao original.
Essas leis são básicas e muito usadas para simplificar expressões booleanas sem recorrer a tabelas extensas.

Passo 3

Aplicando De Morgan diretamente à expressão de três termos. Tomando
X=\bar{A},\quad Y=B,\quad Z=\bar{C},
temos pela generalização:
\overline{\bar{A} \cdot B \cdot \bar{C}} = \overline{\bar{A}} + \overline{B} + \overline{\bar{C}}.
Aqui apenas distribuímos a negação sobre a conjunção, trocando AND por OR e negando cada literal.

Passo 4

Aplicando dupla negação onde aparece (simplificação direta):
\overline{\bar{A}} = A,\qquad \overline{\bar{C}} = C.
Logo a expressão do Passo 3 vira
A + \overline{B} + C.

Passo 5

Interpretação intuitiva e verificação rápida: a expressão original é “não (não A e B e não C)”. Isso é verdadeiro sempre que não ocorra simultaneamente o caso ( \bar{A} e B e \bar{C}). Ou seja, é suficiente que uma destas condições aconteça: A seja verdadeira, ou B seja falsa ( \overline{B}), ou C seja verdadeira. Isso corresponde exatamente a
A + \overline{B} + C.
Também podemos observar que não existe absorção ou redundância adicional entre A, \overline{B} e C que permita eliminar alguma literal — portanto a expressão já é mínima em termos de soma de literais.

Resposta

A + \overline{B} + C

Exercícios relacionados