Primeiro devemos encontrar os conjuntos com os maiores números possíveis de elementos, lembrando que os conjuntos devem possuir a quantidade apenas de números da potência de 2 (1, 2, 4, 8, 16, ...).

1)     O primeiro conjunto que iremos destacar é o da segunda coluna da tabela, formando um conjunto com 4 elementos.

A variável not C e D não possuem repetição dentre deste conjunto. Já as variáveis A e B possuem variações com not e sem, portanto devem ser eliminadas. Assim restam apenas as variáveis (not C and D).

2)    Na primeira coluna podemos encontrar um conjunto com 2 elementos, pois mesmo que o primeiro elemento da 2ª coluna já tenha sido usado, o mesmo pode ser usado novamente para que os demais elementos possam formar o conjunto com o maior número de elementos possíveis.

As variáveis not A e not B não possuem variação, portanto devem permanecer. A variável C varia dentro do conjunto, assim deve ser eliminada. A variável D não se altera dentro do conjunto, portanto permanece. Assim esse conjunto possui as variáveis (not A and not B and D).

3)    O terceiro conjunto possui apenas 2 elementos (terceira linha), pois não se pode formar conjuntos com elementos na diagonal.

As variáveis A e B permanecem, pois não se alteram dentro do conjunto. Já a variável C altera entre as duas colunas do conjunto, então deve ser eliminada. A variável D permanece, pois não se altera. Portanto neste conjunto restam as variáveis (A and B and D).

Juntando os 3 conjuntos de variáveis com a porta lógica or, temos a resposta final desta mapa K: not C and D or not A and not B and D or A and B and D. A alternativa A é a resposta correta, pois mesmo que a ordem dos conjuntos das variáveis se alterem, segundo a lei comutativa a ordem não altera o resultado.

Resposta Alternativa A