Pequenas alterações nas expressões lógicas