Tarea 4.Diagramas Binarios de Decisión

Para esta tarea el problema a resolver es:

• Inventen una expresión Booleana(Usando por mínimo 3 variables y 4 conectivos básicos)
• Construyan y dibujen su BDD.
• Reduzcan el BDD resultante a un ROBDD.
• Dibujen el ROBDD resultante.

BDD (Diagrama de Decisión Binario)
Un diagrama de decisión binario (DDB) es un grafo acíclico dirigido con
Uno o dos nodos terminales etiquetados con 0 o 1

Expresión Booleana
Mi expresión a representar es la siguiente:

(x2 ^ x3) v (x1 ^ x3)

Tabla lógica:

Árbol Binario de Decisión: 

BDD: 
Este es mi Diagrama de Decisión Binario que dio como resultado.  

Reducción a ROBDD y ROBDD resultante 
En el PDF: "An Introduction to Binary Decision Diagrams" por Henrik Reif Andersen, se mencionan tres condiciones para el orden y reducción:

• Las variables deben estar ordenadas
• Los nodos deben ser únicos
• Solo tests no redundantes deben estar presentes

Referencias: 
"An Introduction to Binary Decision Diagrams"