A expressão S da tabela-verdade encontra-se simplificada corretamente em: