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!