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 linha da tabela, formando um conjunto com 4 elementos.

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

2)    Novamente podemos encontrar outro conjunto com 4 elementos (2 primeiros elementos da segunda linha e os 2 primeiros da terceira linha), pois mesmo que os dois elementos da 2ª linha já tenham sido usadas, as mesmas podem ser usadas novamente para que os demais elementos possam formar o conjunto com o maior número de elementos possíveis.

A variável A possui a variação com not e outra sem, portanto deve ser eliminada. A variável B não se altera. A variável C está com a negativa nas duas colunas em que faz parte do conjunto, portanto permanece. A variável D deve ser eliminada pois existe dentro do conjunto com a variação com not e sem. Assim esse conjunto possui as variáveis (B and not C).

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

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

Juntando os 3 conjuntos de variáveis com a porta lógica or, temos a resposta final desta mapa K: not A and B or B and not C or not A and C and D.

Resposta Alternativa A