Update especificacao.sable

Modificações em expressões lógicas.