Segundo Floyd (2011), a simplificação lógica é uma técnica fundamental no projeto de circuitos digitais, pois permite reduzir a quantidade de componentes e otimizar o desempenho do sistema. Para isso, são utilizadas ferramentas como os Teoremas de De Morgan, o método dos termos normais e o Mapa de Karnaugh. A correta aplicação dessas técnicas possibilita transformar expressões complexas em formas mais simples, facilitando a implementação dos circuitos. No contexto da otimização lógica, avaliar expressões booleanas e entender a relação entre as operações de soma e produto é essencial. Além disso, compreender a aplicabilidade de cada método contribui para a eficiência dos sistemas digitais. Considerando o texto apresentado, avalie as afirmações a seguir: I. O Mapa de Karnaugh permite simplificar expressões booleanas por meio da identificação de agrupamentos de saídas equivalentes, reduzindo a complexidade do circuito resultante. II. O Teorema de De Morgan estabelece que o complemento da soma de variáveis é igual ao produto dos complementos e que o complemento do produto é igual à soma dos complementos. III. O método dos mintermos e maxtermos possibilita obter expressões booleanas a partir da análise das saídas desejadas, utilizando combinações de operações lógicas fundamentais. IV. A simplificação de circuitos digitais pode ser feita aplicando diretamente a Tabela-Verdade, sem necessidade de recorrer a métodos como os teoremas booleanos ou o Mapa de Karnaugh. É correto o que se afirma em: I e III, apenas. I, II e IV, apenas. I, II e III apenas. II, III e IV, apenas. III e IV, apenas.