martes, 28 de agosto de 2012

BDD

Primero que nada, inventé una expresión con las características deseadas que nos dice en la presentación, por lo que podemos ver que tiene los conectivos y las 3 variables.

Expresión:
((A ^ B)  ^ (B  ^ A)) v ¬ C )

Ahora tenemos el BDD, el cual contiene la expresión hecha en un diagrama binario de desición, tal como lo muestra en el PDF aqui. este es el resultado.

BDD:







Como podemos ver, este diagrama se puede reducir, si se fijan, tenemos salidas repetidas en los primeros 6 nodos de izquierda a derecha, tenemos 1 y 0, por lo que facilmente podemos reducirlo y obtener algo como el siguiente diagrama.

ROBDD:


En este diagrama reducido podemos ver que los 3 nodos repetidos se juntan en C, siguiendo los pasos descritos en el libro podemos decir que este es un ROBDD del primero BDD.

Saludos :)

1 comentario: