Contrôle de niveau d’un réservoir Capteur de niveau haut h = 1 -> plein Capteur de niveau bas b = 0 -> vide Sélecteur de pompe s = 0 -> Pompe 1 s = 1 -> Pompe 2
Contrôle de niveau ... Si réservoir plein: Aucune pompe en marche; Si réservoir vide: Les 2 pompes en marche; Si réservoir ni vide, ni plein: Faire fonctionner la pompe sélectionnée par le sélecteur « s ».
Contrôle de niveau ... Table de vérité: 1 1 1 0 0 1 X X 0 0 b = 0 vide h = 1 plein s = 0 ->P1 s = 1 ->P2 Table de vérité: 1 1 Réservoir vide 1 0 0 1 Réservoir à 1/2 X X Réservoir plein et vide ?!? 0 0 Réservoir plein
Contrôle de niveau ... Tables de Karnaugh: 1 1 1 X X 1 1 1 X X P2 = /b P2 = /b + /h.s X X 1 1 1 P1 = /b + /h./s X X
Contrôle de niveau ... Diagramme échelle: P2 P1 = /b + /h.s + /h./s Seul risque: - si le capteur b est en panne (b=0) alors que le réservoir est plein... Les deux pompes seront en marche !!!
Contrôle de niveau ... Si on considère les X comme des 0. 1 1 1 1 1 1 P2 = /b./h + /h.s 1 1 1 P1 = /b./h + /h./s
Contrôle de niveau ... Diagramme échelle (sécuritaire): P2 = /b./h + /h.s P1 = /b./h + /h./s
Conclusion de l’exemple Les « X » peuvent êtres utilisés dans des groupes de 1 pour en augmenter la taille. Cela implique des équations plus simples; Du point de vue sécurité, il peut s ’avérer nécessaire de considérer les « X » comme des « 0 ».
Les états indifférents (don’t care) En entrée, ils permettent d’écrire les tables de vérité sous forme plus compacte.