← Questões de Algoritmos e Estrutura de Dados

Algoritmos e Estrutura de Dados · CESPE/CEBRASPE · 2021

Questão comentada de Algoritmos e Estrutura de Dados

O fato de o complemento do produto ser igual à soma dos complementos, ou seja, (A'·B') = A' + B', é justificado

Gabarito: D

Aqui a ideia central é Álgebra de Boole, em que os complementos obedecem a regras próprias. Quando você vê uma expressão como (A'·B'), o complemento de um produto, a banca quer saber se você reconhece a forma correta de transformar essa negação. Não é chute de “trocar sinais”: é uma regra clássica de De Morgan. O teorema de De Morgan diz exatamente isso: o complemento de uma conjunção vira uma disjunção dos complementos, e o complemento de uma disjunção vira uma conjunção dos complementos. Em símbolos, (A·B)' = A' + B' e (A + B)' = A'·B'. É aquela dupla que vive aparecendo em prova para testar se você leu a lógica com atenção. Então, na questão, a relação apresentada entre produto e soma de complementos é justificada pelo teorema de Morgan, que é a base correta para essa equivalência em lógica booleana. As outras leis, como comutativa, associativa e distributiva, até ajudam a reorganizar expressões, mas não fazem essa troca entre produto e soma ao negar a expressão. Resumo de prova: se apareceu negação de AND, você troca por OR com complementos; se apareceu negação de OR, você troca por AND com complementos. Esse é o coração do tema e é exatamente por isso que o gabarito é a letra D.

Continue treinando

Questões relacionadas