Changes

são inteiramente não ambíguos. Exatamente a mesma coisa é verdadeira para o operador '''or'''.

Outra propriedade da qual você deve atentar é que '''not''' não é uma involução. Isto é,

Em outras palavras, a segunda aplicação de not desfaz o efeito da primeira.

Você pode fazer exatamente a mesma coisa com as tão faladas variantes inertes desses operadores (aquelas com o & prefixado em seus nomes). No entanto, nenhuma simplificação automática ocorrerá. Isto porque operadores booleanos inertes são usados primeiramente para trabalhar “simbolicamente” com operações booleanos; eles são operadores sobre os quais as ferramentas do pacote lógico do Maple são baseados.