Changes

Álgebra Booleana (view source)

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