O Diagrama de Decisão Binária é outra forma de se
representar funções lógicas. Para alterarmos o valor
das folhas do diagrama, basta clicar sobre elas que, tal como foi feito
na Tabela Verdade, haverá uma alteração cíclica
nos seus valores. Há ainda uma função que permite manter o BDD simplificado
ou não. Essa função faz com que o BDD se torne o
menor possível, na dada ordem, através de remoção
de nodos inexpressivos e compartilhamento de nodos iguais. Ela pode ser
ativada através do menu "Actions", item "Simplify
BDD" ou do ícone
|