Páginas

martes, 4 de septiembre de 2012

[VERIFICACIÓN Y VALIDACIÓN] Diagrama de Decisión Binario

Se encargó para esta entrada:
  • 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:


Y esta es la tabla de verdad:

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):
El siguiente paso es dejar todo unido a un par de nodos 0 y 1:
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:


1 comentario: