Professional Documents
Culture Documents
LOGIQUE COMBINATOIRE
I. VARIABLE LOGIQUE. Rappel : structure dun systme automatis. Ordres Pr actionneurs PO PC Partie Commande Informations Capteurs Grandeurs physiques MO Partie Oprative Actionneur Transmetteur Effecteur MO +VA Energie
Analogique (par exemple une tension variable) Logique (0 ou 1, vrai ou faux) Numrique
Exemple de systme automatis : Le portail automatis. Pour simplifier, on sintresse aux lments suivants : Les 2 portes Les 2 moteurs La tlcommande La cellule photo lectrique
Entres/sorties de la Partie commande (PC) du portail : (les entres sont les informations, les sorties sont les ordres) Appui sur la tlcommande Prsence devant capteur
PC du portail
Les entres et les sorties sont sous la forme tout ou rien (1 ou 0) (vrai ou faux), on les appelle des variables logiques. Lobjet de ce chapitre est de modliser le fonctionnement des PC
1/8
MPSI/PCSI
II. ALGEBRE DE BOOLE. 1. Oprateurs logiques de base. Oprateur galit Equation logique : S = a
Table de vrit
a 0 1
S 0 1
Table de vrit
a 0 0 1 1
b 0 1 1 0
S 0 0 1 0
Table de vrit
a 0 0 1 1
b 0 1 1 0
S 0 1 1 1
Table de vrit
S a
a 0 1
S 1 0
Un monte-charge doit permettre le levage de masses comprises entre 20 et 80 kg. Pour cela, il comporte une plate-forme reposant sur des ressorts. Selon l'importance des charges soulever, trois contacts rglables sont mis en circuit. Les contacts passent 1 lorsque quils sont en contact avec la cuve du monte-charge.
Cahier des charges vide, aucun des contacts n'est activ. le monte-charge peut fonctionner.
2/8
MPSI/PCSI
Pour des charges comprises entre 5 et 20 kg, le monte-charge ne peut fonctionner. Le contact a est actionn. Pour les charges comprises entre 20 et 80 kg, le monte-charge doit fonctionner. a et b sont actionns. Pour des charges suprieures 80 kg, le monte-charge ne peut fonctionner. Les contacts a , b et c sont actionns. Problme pos : Il faut modliser le comportement attendu en quations afin de raliser la partie commande.
Question : Dterminer l'quation boolenne de la sortie S assurant lautorisation de fonctionnement de ce monte-charge. Le monte-charge doit fonctionner (S passe 1) vide (cas a=0 et b=0 et c=0) ou pour les charges comprises entre 20 et 80 kg (cas a=1 et b=1 et c=0) On peut crire lquation de la sortie
S a .b .c a.b.c
3. Proprits de lalgbre de BOOLE. Commutativit Associativit Distributivit Elments neutres Elment absorbant Complment Idempotence Thorme de De Morgan a.b = b.a a.(b.c) = (a.b).c a.(b+c) = a.b+a.c a.1 = a a.0 = 0 a+b = b+a a+(b+c) = (a+b)+c a+(b.c) = (a+b).(a+c) a+0=a a+1=1
a.a 0
a.a = a
a a 1
a+a=a
a.b a b
a b a .b
f(a)
3/8
MPSI/PCSI
Reprsentons dans une table de vrit, tous les cas possibles dune fonction Boolenne une variable dentre. Variable a 0 1 f1 = 0 f2 = a mise 0 identit f1 0 0 f2 0 1 f3 = a f4 = 1 Fonction f(a) f3 1 0 f4 1 1
2. Oprateurs deux variables. Etudions tous les cas possibles dune fonction Boolenne deux variables dentre. a b Remarque : il y a 16 fonctions possibles ( 2 Fonctions dj vues : f1 = 0 f2 = 1 f3 = a f4 = a
2. n
f(a,b)
4
f 9 a b a.b a .b
f 10 a b a .b f 11 a.b a b
Table de vrit a 0 0 1 1 a 0 0 1 1
f 12 a.b a .b
b 0 1 1 0 b 0 1 1 0
S 1 0 1 0 S 1 1 1 0
Implication
(a implique b)
Table de vrit
f 13 a b
Si a=1 alors S=b Si a=0, b peut prendre les valeurs 0 ou 1
4/8
MPSI/PCSI
Implication (b implique a) :
f 14 a b
IV. SIMPLIFICATION DE FONCTION. Une expression combinatoire reprsente une fonction boolenne Pour n variables dentres, il existe : 2 fonctions diffrentes. Une infinit dexpressions combinatoires (certaines sont quivalentes). On recherche la forme la plus simple possible dune expression combinatoire. Le but est de raliser une fonction en utilisant le moins doprateurs logiques possibles. Mthode algbrique : On crit les produits par ordre alphabtique afin de les comparer plus facilement et on utilise les proprits de lalgbre de Boole. Exemples :
2. n
Remarque :
S 3 a a .b a a .b a.b S 3 a (a a).b a b
On peut donc reprendre Mthode graphique.
(on rajoute
S 2 a .(b c)
Tableau de Karnaugh.
Le tableau de Karnaugh est une table de vrit dispose de manire faire apparatre les possibilits de regroupement de termes. Exemple 1 Une fonction S4 trois entres est reprsente par une table de vrit. On va reprsenter cette fonction dans un tableau de Karnaugh et on va crire son quation simplifie. Tableau de Karnaugh a b c S4 S4 a 0 0 0 0 b 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 c 1 1 1 1 Equation simplifie :
S 4 a.b b.c
5/8
MPSI/PCSI
1 c d
0 c d
S 6 a b .d b.c.d
On forme les groupes de 1 (ou de 0) adjacents les plus gros possibles (dun nombre de 2n de termes : 1, 2, 4, 8, 16,) Les entres sont organises sous forme de code binaire rflchi appel aussi code Gray (2 cases adjacentes ne se distinguent que par le changement dune seule variable). On utilise les nombreuses symtries.
V. REPRESENTATION DES FONCTIONS LOGIQUES On peut reprsenter une fonction logique avec : Une phrase (S est vrai si a et b sont vrais) Une quation logique (S = a.b) Une table de vrit. Un tableau de Karnaugh. Un chronogramme.
1. Schmas lectriques. Ils sont raliss par des contacts lectriques commands manuellement (poussoir) ou lectriquement (relais). Exemple 1.
6/8
MPSI/PCSI
On distingue deux sortes de contacts : ouverture (Non) et fermeture (Oui). Si c = 1, le courant passe dans le contact. Si c = 0, le courant ne passe pas. Si a = 0, le courant passe dans le contact. Si a = 1, le courant ne passe pas. La fonction reprsente est :
L c.(a b )
La fonction et est ralise par des contacts en srie. La fonction ou est ralise par des contacts en parallles. Exemple 2.
L b.(c a .d ) b .d .(a c)
2. Logigrammes. Un logigramme est une association doprateurs logiques dcrivant une quation logique. Liste (non exhaustive) des oprateurs logiques : Symbole Equation S=a Oprateur Identit Symbole Equation Oprateur Non
S a
S = a.b
ET
S a.b
NAND
S=a+b
OU
S ab
NOR
S a b OU exclusif
S a b
a implique b
7/8
MPSI/PCSI
Le logigramme dune fonction logique nest pas unique. Il dpend des contraintes technologiques imposes. Exemple : On veut raliser la fonction
S a.b
Dans certains cas, on se voit imposer lutilisation unique des cellules NOR ou NAND En effet, toute fonction peut tre ralise en utilisant uniquement des cellules NOR ou NAND (cellules dites universelles). Cela permet de raliser une fonction logique en utilisant quun seul type de cellules. Il faut alors rorganiser la fonction (en utilisant le thorme de De Morgan) pour faire apparatre que des NOR ou que des NAND. Remarques. Pour avoir un NON avec un NAND Pour avoir un NON avec un NOR
S a.b a.b a b
S (a a ) b
8/8