<pre>not not 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’’ ''simbolicamente'' com operações booleanos; eles são operadores sobre os quais as ferramentas do pacote '''logic''' do Maple são baseados.
Por exemplo, usando o operador inerte '''¬''', nos veremos que a expresão
<pre>¬( ¬ ( a ) );</pre>
Não é simplesmente '''a'''.