Open main menu

Changes

8 bytes removed ,  12:41, 26 May 2016
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>&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” com operações booleanos; eles são operadores sobre os quais as ferramentas do pacote lógico do Maple são baseados.
109

edits