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 :)
No hay comentarios:
Publicar un comentario