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 é,
<pre>¬( ¬ ( a ) );</pre>
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.