- 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.
No hay comentarios:
Publicar un comentario