109
edits
Changes
Jump to navigation
Jump to search
→Dual
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 ¬ y)
&or (y &and ¬ z)
&or (z &and ¬ x);
right := (¬ x &and y)
&or (¬ y &and z)
&or (¬ z &and x);
bequal(left, right);</pre>
Agora, nos usamos esta afirmação à vontade.
<pre>dual(left);
dual(right);
bequal(%, %%);</pre>
=== '''Forma Normal Disjuntiva''' ===
