Diagramas Binários de Decisão (BDD)

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.
Os nodos do diagrama podem ser deslocados arrastando-os pela janela do BDD de forma a ficarem dispostos da forma que for desejada. Para retornar à disposição original dos nodos basta ir ao menu "Actions", item "Reorganize BDD" ou clicar no atalho na barra de ferramentas.

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 na barra de ferramentas. Quando ativa, um visto será fixado ao lado do item no menu e o fundo do ícone na barra de ferramentas será colorido em azul. A qualquer momento, pode ser acionada a função "Reorganize BDD" para reposicionar os nodos do mesmo do modo padrão.


índice
próximo