domingo, 2 de septiembre de 2012

BDD

Diagramas Binarios de Decisión


Hola, la tarea para la siguiente semana consiste en:

1 - Inventar una expresión Booleana, usando por mínimo 3 variables y 4 conectivos básicos.
2 - Construir y dibujar su BDD.
3 - Reducir el BDD resultante a un ROBDD y dibujarlo.

Primeramente definiré el concepto de "Diagramas Binarios de Decisión".

Un diagrama de decisión binario es un concepto usado en el campo de las ciencias de la computación y es una estructura de datos utilizada para representar una función booleana.

Luego, mediante el diagrama binario de decisión se puede obtener la ecuación o expresión lógica de la proposición, y viceversa.

1- Para realizar la expresión booleana lo hice al azar, y la tabla de verdad obtenida con los conectores básicos que empleé salió así:


((A˅B)˄C)  ˅  (¬(B˅C))


2- Dibujar y construir BDD.





3 - Reducir el BDD resultante a un ROBDD y dibujarlo.


Removiendo terminales duplicadas...




Uniendo los nodos duplicados...




Removiendo nodos redundantes (final)...


Esto es todo para la tarea número 3. Gracias.
Cualquier duda o aclaración pueden dejarla en comentarios.

Saludos!