BDD

En esta semana nos toco realiza las siguientes actividades:

1-. Crear una expresión Booleana

2-. Realizar un BDD con la misma

3-. Reducir el BDD a un ROBDD

La expresión Booleana a verificar es la siguiente:

y(x) = [(a^b)^(bvc)]v(c^¬a)

Aquí esta la tabla de la verdad:

Posteriormente pasamos a crear la BDD, e aquí como quedo:

Posteriormente la reducimos:

Aquí una pequeña animación de como se fue reduciendo:

Ahora veamos el ROBDD con el siguiente orden  c<a<b para verificar si se redujo mas, al parecer se redujo un nodo mas: