Para resolver a expressão lógica S = ~a ↔ ~b, precisamos entender o que cada parte significa: - ~a é a negação de a. - ~b é a negação de b. - O operador ↔ (bicondicional) é verdadeiro quando ambos os lados têm o mesmo valor lógico (ou ambos são verdadeiros ou ambos são falsos). Vamos montar a tabela-verdade para a expressão S = ~a ↔ ~b: | a | b | ~a | ~b | S = ~a ↔ ~b | |---|---|----|----|--------------| | V | V | F | F | V | | V | F | F | V | F | | F | V | V | F | F | | F | F | V | V | V | Agora, analisando a coluna da saída S, temos: - 1ª linha: V - 2ª linha: F - 3ª linha: F - 4ª linha: V Portanto, há 2 linhas com valor lógico verdadeiro na coluna que expressa a saída S. A resposta correta é: C) 2.