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