Diagramas de decisión Binario

Para esta semana la tarea que se nos encargo fue la siguiente:

• Inventar alguna funcion booleana
• dibujar su BDD
• reducir el BDD y construir un ROBDD 
• y por ultimo dibujar el ROBDD

Para esto mi funcion es la siguiente:

((av¬b)^ (¬c^b)) v ¬a

Y su tabla de verdad 

Árbol de Decisión

A partir de nuestro árbol vamos haciendo una reducción de las hojas que contengan el mismo valor, lo mismo aplica para las ramas de este.