- Inventar una expresión Booleana.
- Usando por mínimo 3 variables y 4 conectivos básicos.
- Construir y dibujar el BDD.
- Reducir el BDD resultante a un ROBDD.
- Dibujar el ROBDD resultante.
Primero iniciamos con la expresión booleana, utilizé la siguiente:
+00.37.43.png)
Y esta es la tabla de verdad:
+06.55.25.png)
El arbol binario de desición queda de la siguiente manera:
Las lineas punteadas marcan falso y las otras verdadero, quitare los valores para mejor visualización.
Si observamos, las B que son verdaderas son iguales, ya que en ambos casos, la C es verdadera o falsa, así que juntamos ambas. Ahóra reducire el arbol a un BDD (Diagrama de Desición Binario):
+00.19.59.png)
El siguiente paso es dejar todo unido a un par de nodos 0 y 1:
+00.12.15.png)
Y finalmente, ya que en B falsa, los valores de C pueden ser o verdaderos o falsos, eliminamos las C de los falsos de B y las unimos directamente a los nodos que apuntaban:
+00.29.21.png)
Se ve más claro si las cajas 01 no están pegados. Van 10 pts.
ResponderBorrar