2010-10-06 24 views
1

J'ai un problème de simplification booléenne qui a déjà été résolu .. mais j'ai du mal à comprendre une chose de base à ce sujet .. l'ordre dans lequel il a été résolu.Boolean Simplification

Le problème simplifie cette équation:

Y = ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + ABC 

La solution est:

Y = ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + ABC 
    = ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + A¬BC + ABC (idempotency for A¬BC) 
    = ¬A¬C(¬B + B) + A¬B(¬C + C) + AC(¬B + B) 
    = ¬A¬C + A¬B + AC 

La façon dont je l'ai résolu est:

Y = ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + ABC 
    = ¬A¬B¬C + ¬AB¬C + ¬A¬B¬C + A¬B¬C + A¬BC + ABC (idempotency for ¬A¬B¬C) 
    = ¬A¬C(¬B + B) + ¬B¬C(¬A + A) + AC(¬B +B) 
    = ¬A¬C + ¬B¬C + AC 

Alors, comment puis-je savoir quel terme utiliser la loi de l'idempotence? Merci.

Répondre

1

¬A¬B¬C + ¬AB¬C + + A¬B¬C A¬BC + ABC

¬A¬C (¬B + B) + A (¬B¬C + ¬ BC + BC)

¬A¬C + A (+ ¬B¬C ¬BC + BC) < - voir le tableau de vérité ci-dessous pour la simplification de cette

¬A¬C + A (+ ¬B C)

¬A¬C + A¬B + AC

table de vérité:

BC

0 0 = 1 + 0 + 0 = 1

0 1 = 0 + 1 + 0 = 1

1 0 = 0 + 0 + 0 = 0

1 1 = 0 + 0 + 1 = 1

qui est ¬B + C