BTS MAI

Logique combinatoire

Philippe RAYMOND Notes de cours BTS MAI septembre 2005

Convention : logique positive

le niveau haut (tat 1) correspond une affirmation logique (vrai ou TRUE) le niveau bas (tat 0) correspond une infirmation logique (faux ou FALSE)

BTS MAI

Fonction OUI (assignation)

a S

BTS MAI
x x

lectronique

logigramme

S=a
quivalent lectrique

a
0 1

S
0 1

quation & table de vrit

Fonction NON (inversion)

a

BTS MAI
x /x

S=/a

a
0 1

S
1 0

Fonction OU (OR)
a

x y

x+y

BTS MAI

>=1

a
0

b
0 1 0 1

S
0 1 1 1
5

S=a+b

0 1 1

Fonction ET (AND)
a

x y

x.y

BTS MAI

&

b
0 1 0 1

S
0 0 0 1
6

S=a.b

0 0 1 1

Fonction NON OU (NOR)

a S

BTS MAI

>=1

b
0 1 0 1

S
1 0 0 0
7

S=/(a+b)

0 0 1 1

De Morgan

Fonction NON ET (NAND)

a S

BTS MAI

&

a
0

b
0 1 0 1

S
1 1 1 0

S=/(a.b)

0 1 1

Fonction OU EXCLUSIF (XOR)

S=a b=/a.b+a./b
a S

BTS MAI

=1

a
0 0 1 1

b
0 1 0 1

S
0 1 1 0
9

Fonction IDENTITE (NXOR)

S=a b=/a./b+a.b
a
0 0 1 1 a S

BTS MAI

b
0 1 0 1

S
1 0 0 1

=1

S=a b=/(a b) S=/(a b)=(a b)

10

Proprits de lalgbre de Boole

lment neutre Distributivit Complments Idempotence inclusions a+0=a a.1=a a+(b.c)=(a+b).(a+c) a.(b+c)=(a.b)+(a.c) a+/a =1 a+1=1 a.0=0 a./a=0 a+a+..+a=a a.aa=a a+a.b+a.b.c=a a.b+/a.c+b.c=(a+c).(/a+b) a+/a.b=a+b

BTS MAI

a.b= a+b a+b= a.b

11

____

Thorme de De Morgan _

____

_ _

Simplification par Karnaugh

a b c S 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0
Code GRAY On remarque alors que le passage dune case adjacente lautre dans le sens vertical ou horizontal, entrane la variation dune seule variable la fois

BTS MAI

ab

00 1 0

01 1 1

11 0 0

10 0 0 0 1 c

le tableau de karnaugh nest autre que la table de vrit de lquation logique dont on dsir connatre la forme minimale. Mais : on reprsente la table sous la forme dun tableau on reprsente les diffrents tats des variables logiques composant lquation en utilisant le code GRAY.

12

Simplification par Karnaugh

ab 00 1 On ralise des groupements de 2i cases adjacentes qui sont 1 ( si on groupe les 0 alors on obtient la forme minimale de /S) On cherche toujours les groupements maximaux. On peut prendre plusieurs fois une mme case (idempotence). La forme minimale de lquation est alors obtenue en crivant la somme logique des produits des variables qui ne changent pas dtat pour chaque groupement. 0 01 1 1 11 0 0 10 0 0 0 1 c

BTS MAI

S= /a./c

/a.b

13

S= a.c.d +a.b.c.d +bc S= a.c.d +a.b.c.d +bc

ab 00 01 11 10 00 01 1 1 1 1 11 1 11 10 cd

BTS MAI

S = c.d

S = bc

S = c.d + b c
14