martes, 4 de septiembre de 2012

BDD: Diagrama de Decisión Binario

En esta semana la tarea es realizar 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 ^ C) v (A v B)] ^ (¬B)

La tabla de verdad:



Aqui como queda el diagrama:



Unimos las C similares de 0 y 1


Como en las lineas de 1 de B las dos son iguales entonces eliminamos una C y unimos


El B como sus dos C son iguales a 0 entonces eliminamos uno y unimos

El B como sus dos resultados daran 0 entonces eliminamos el C.


Al final asi me queda:


1 comentario: