109
edits
Changes
Jump to navigation
Jump to search
→Forma Normal Disjuntiva
=== '''Forma Normal Disjuntiva''' ===
O Maple provem, em seu pacote '''logic''', uma função para computar a disjunção normal para uma expressão booleana. Esta função é chamada '''canon''' (de canônico). Os exemplos a seguir tipificam a chamada sintaxe
<pre>with(logic):
canon((a &or b) &and (c &and d), a,b,c,d);
canon((a &or b) &and (¬ a &or b), a,b);
canon((a &or b) &and (¬ a &or b), b);</pre>
O último exemplo mostra que deve haver pelo menos variáveis suficientes para explicar as que figuram no primeiro argumento. O primeiro argumento para '''canon''' é a expressão a ser transformada, e o segundo argumento é o conjunto de variáveis que aparecem na forma normal disjuntiva . É possível especificar as variáveis que não aparecem na equação original.
<pre>canon(a, a,b);</pre>
Na verdade, há um terceiro argumento, opcional para '''canon''', que especifica qual forma canônica produzir. Tanto em um dos três valores '''DNF''' (forma normal disjuntiva, o padrão), '''CNF''' (forma normal conjuntiva), ou '''MOD2''', que direciona '''canon''' para converter o seu primeiro argumento para uma expressão aritmética modulo 2 equivalente (na forma canônica).
<pre>canon((a &or b) &and (¬ a &or ¬ b), a,b, DNF);
canon((a &or b) &and (¬ a &or ¬ b), a,b, CNF);
canon((a &or b) &and (¬ a &or ¬ b), a,b, MOD2);</pre>
== '''Representação de Funções Booleanas''' ==
== '''Minimização de Expressões Booleanas e Circuitos''' ==
