martes, 4 de septiembre de 2012

BDD

Para la Tarea 4 se pidió lo siguiente:
  • Inventen una expresión Booleana.
  • Construyan y dibujen su BDD.
  • Reduzcan el BDD resultante a un ROBDD.
  • Dibujen el ROBDD resultante.


La expresión booleana que uso es la siguiente:


¬(a ^¬ b) => ¬ c


Tabla de verdad

Binary decision tree

[Binary decision tree]

BDD Y ROBDD
BDD
ROBD



Referencias:
http://www.cs.unb.ca/~gdueck/courses/cs4835/bdd97.pdf



1 comentario: