109
edits
Changes
Jump to navigation
Jump to search
no edit summary
=== '''Representando Funções Booleanas''' ===
Vamos ver agora como nós podemos representar funções booleanas no Maple. Estas são exatamente como qualquer outra função e pode ser criada usando o comando '''proc'''. Por exemplo, a função booelana escrita (usando a notação do livro) como:
pode ser escrita no Maple com o seguinte procedimento
<pre>F := proc(x, y, z)
RETURN((x and y) or (y and z) or (z and x));
end:</pre>
A tradução como você pode ver é bastante simples. Um produto como xy é traduzido diretamente para expressões no Maple como x and y, enquanto a sum é traduzida como x or y. Se vocẽ imaginar que cada produto xy tem um ponto infixo como, então uma simples regra de substituir cada ponto ( . ) por um operador '''and''' e também trocar cada + pelo operador '''or'''. Os parênteses na hora de definir '''F''' acima não são realmente necessários mas ajuda na leitura do programa. (Porque parênteses bem usados nunca doem).
=== '''Verificando Identidades Booleanas''' ===
=== '''Dual''' ===
=== '''Disjunctive Forma Normal FormDisjuntiva''' ===
== '''Representação de Funções Booleanas''' ==
== '''Minimização de Expressões Booleanas e Circuitos''' ==
== '''Condições Indiferentes''' ==
== '''Cálculos e Explorações''' ==
== '''Exercícios e Projetos''' ==
