Changes

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 lógico '''logic''' do Maple são baseados. Por exemplo, usando o operador inerte '''&not''', nos veremos que a expressãoexpresão

Não é tão simplificado em simplesmente '''a'''.