You are on page 1of 8

MPSI/PCSI

SI, cours sur la logique

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

Les ordres et les informations peuvent tre :

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

Ouvrir portes Fermer portes

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

SI, cours sur la logique

II. ALGEBRE DE BOOLE. 1. Oprateurs logiques de base. Oprateur galit Equation logique : S = a

Il permet de traiter des problmes de logique.

Table de vrit

a 0 1

S 0 1

Oprateur ET Equation logique : S = a.b

Table de vrit

a 0 0 1 1

b 0 1 1 0

S 0 0 1 0

Oprateur OU Equation logique : S = a + b

Table de vrit

a 0 0 1 1

b 0 1 1 0

S 0 1 1 1

Oprateur NON Equation logique :

Table de vrit

S a

a 0 1

S 1 0

2. Exemple de problme de logique.

Etude dun monte charge.

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

SI, cours sur la logique

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

Exemples dutilisation de lalgbre de Boole pour simplifier des expressions logiques.

(c b).c c.c b.c c b.c c.(1 b) c a.(a b) a.a a.b a.b


III. OPERATEURS LOGIQUES. 1. Oprateurs une variable. a

f(a)

3/8

MPSI/PCSI

SI, cours sur la logique

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

complment (fonction non) mise 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

=2 ) f5 = b f6 = b f7 = a + b f8 = a.b identit complment ou et

mise 0 mise 1 identit complment

Autres fonctions : OU exclusif Table de vrit a 0 0 1 1 b 0 1 1 0 (De Morgan) S 0 1 0 1

f 9 a b a.b a .b

NOR (non ou) : NAND (non et) : Equivalence

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

SI, cours sur la logique

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

S1 a b a .b a b.(1 a ) a b S 2 a .(b .c b .c b.c) a .(b .(c c) b.c) a .(b b.c)

Remarque :

Certaines simplifications napparaissent pas, par exemple

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

a.b )(car a+a.b=a(1+b)=a)

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

SI, cours sur la logique

Exemple de fonctions S5 et S6 4 variables reprsentes par des tableaux de Karnaugh S5 a b S6 a b

1 c d

0 c d

S 5 b .c a .b.d a .b .d a.b .d a.b.c.d


Remarques :

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

SI, cours sur la logique

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.

La fonction reprsente est : Remarque :

L b.(c a .d ) b .d .(a c)

Les contacts a et a lectriquement indpendants sont commands par la mme action a .

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

SI, cours sur la logique

Le logigramme dune fonction logique nest pas unique. Il dpend des contraintes technologiques imposes. Exemple : On veut raliser la fonction

S a.b

Solution 1 : En utilisant toutes les fonctions logiques disponibles

Solution 2 : En utilisant uniquement les fonctions de base ET, OU, NON

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

Solution 1 : En utilisant que des NAND.

S a.b a.b a.(b.b)


Solution 2 : En utilisant que des NOR.

S a.b a.b a b
S (a a ) b
8/8