- 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
OK; 10 pts.
ResponderEliminar