109
edits
Changes
Jump to navigation
Jump to search
→Verificando Identidades Booleanas
=== '''Verificando Identidades Booleanas''' ===
É relativamente simples usar Maple para verificar identidades booleanas. Para este tipo de trabalho, nós podemos usar os operadores booleanos inertes. Por exemplo, nós podemos checar as leis distributivas como a seguir:
<pre>with(logic); # for 'bequal()'
left := x &or (y &and z);
right := (x &or y) &and (x &or z);
bequal(left, right);</pre>
Aqui, nós usamos a biblioteca Maple '''bequal''', que testa se duas expressões booleanas são equivalentes (retornando um dos valores booleanos '''true''' ou '''false''' conformemente). Você precisa ter o pacote '''logic''' carregado para usar essa função.
Se duas expressões booleanas não são logicamente equivalentes, isto pode ser interessante para determinar algumas atribuições de valor para as variáveis que estão nas duas expressões as quais determinam a identidade inputável a falhar. A procedure '''bequal''' pode ser dada como um terceiro argumento optativo sob o qual irá ser dado uma tal atribuição se o valor falso for o resultado.
=== '''Dual''' ===
=== '''Forma Normal Disjuntiva''' ===
