Open main menu

Changes

390 bytes added ,  22:51, 26 May 2016
Como um exemplo disto, vamos usar o Maple para provar a identidade
[[File:imagem.png|200px]]
e formular nossas expressões usando operadores inertes.
<pre>with(logic): # don't forget to define 'bequal'.
left := (x &and &not y)
&or (y &and &not z)
&or (z &and &not x);
right := (&not x &and y)
&or (&not y &and z)
&or (&not z &and x);
bequal(left, right);</pre>
Agora, nos usamos esta afirmação à vontade.
<pre>dual(left);
dual(right);
bequal(%, %%);</pre>
=== '''Forma Normal Disjuntiva''' ===
109

edits