Correção de lógica booleana