Universit de Nice Sophia Antipolis

Licence 1 Sciences & Technologies

Informatique Gnrale lements de logique et d'algbre de Boole

Jacques Farr Jacques.Farre@unice.fr
http://deptinfo.unice.fr/~jf/InfoGene
Jacques Farr 2012 Informatique gnrale

La logique, pourquoi ?

Pour modliser des objets, leurs proprits, et pour faire des raisonnements rigoureux dessus Par exemple la logique aristotlicienne

Raisonnement logique 2 propositions conduisant une conclusion (syllogisme) de la forme : si tous les lments de l'ensemble E ont telle proprit, si e est un lment de E, alors e a la proprit P exemple classique : tous les hommes sont mortels; or Socrate est un homme; donc Socrate est mortel qu'on peut traduire par, en gnralisant : si [(M P) et (S M)] alors (S P) attention : si [(M P) et (S P)] alors (S M) n'a pas de sens : les hommes sont bipdes, les autruches sont bipdes, donc les autruches sont des hommes
Informatique gnrale

Jacques Farr 2012

Calcul propositionnel
Calcul propositionnel : thorie logique qui dfinit les lois formelles du raisonnement
valuation d'expressions rsultant en une valeur parmi { faux, vrai} (notes aussi {F, V} ou {0, 1}) Une proposition atomique est une affirmation susceptible d'tre vraie ou fausse : il pleut, 2009 est une anne bissextile, i+j = k, ... On peut former une proposition en utilisant des oprateurs logiques (ou connecteurs), par exemple

Il pleut et il y a du soleil i+j=k ou (i-j=k et k>0) si x est multiple de 4 alors x est pair l'anne A est bissextile quivaut l'anne A a 366 jours

Jacques Farr 2012

Informatique gnrale

Oprateurs du calcul propositionnel

Essentiellement 5 oprateurs

la conjonction (et) note Il pleut et il y a du soleil (si a=il pleut, b=il y a du soleil, on crit a b)

la disjonction (ou) note i+j=k ou (i-j=k et k>0) de la forme a (b c) l'implication (alors) note x est multiple de 4 alors x est pair, de la forme a b la ngation (NON, PAS) note si x n'est pas pair alors il n'est pas multiple de 4 : b a l'quivalence, note 2012 est bissextile quivaut 2012 a 366 jours, a b (a b) ( b a) mais on n'a pas (a b) ( a b) (si x n'est pas multiple de 4 alors il n'est pas pair) est faux

Jacques Farr 2012

Informatique gnrale

A quoi sert le calcul propositionnel

en mathmatiques

c'est la base de toute dmonstration

preuves assistes par ordinateur

pour donner des dfinitions inductives : par exemple pour dfinir l'ensemble P des entiers pairs

0P nPn+2P

en informatique

intelligence artificielle, bases de donnes ... programmation logique (Prolog) vrification de programme, spcification de programme, conception sre ...
Informatique gnrale

Jacques Farr 2012

Oprateurs logiques unaires

Les oprateurs sont dfinis par des tables de vrit 4 (22) oprateurs unaires (u1-u4) ; tables de vrit : A u1 u2 u3 u4 faux faux faux vrai vrai vrai faux vrai faux vrai u1 est la contradiction : faux quelque soit A u2 est l'identit : vaut A pour tout A u3 est la ngation, note A A
faux
ou A

vrai faux

vrai

u4 est la tautologie (toujours vrai)

Jacques Farr 2012 Informatique gnrale

Oprateurs logiques binaires

16 (24) oprateurs binaires, parmi lesquels
A F F V V A F F V V B F V F V B F V F V ET (ou F F F V NAND
(non ET)

OU ( ou +) F V V V NOR V F F F

quivalence (ou) V F F V XOR F V V F

implication (ou ) V V F V

(non OU) (OU exclusif)

V V V F

Quelques proprits A = A A A = V A A = F
A V = V , A F = A A V = A , A F = F Pouvez-vous les dmontrez ?
7

Jacques Farr 2012

Informatique gnrale

Oprateurs logiques binaires (solution)

A = A :
(A = V) ( A = F) ((A) = V) = A
(A = F) ( A = V) ((A) = F) = A

A A = V :
(A = V) ( A = F) (A A = V F) = V (A = F) ( A = V) (A A = F V) = V

A A = F : preuve analogue, sachant que V F = F V = F A V = V : vident en regardant la table de A F = A :

(A = V) (V F = V) = A (A = F) (F F = F) = A

A V = A : vident en regardant la table de A F = F : preuve analogue en regardant la table de

Jacques Farr 2012 Informatique gnrale

Formule statisfiable
Une formule F(A1, A2 An) est satisfiable s'il existe, pour chaque Ai, une valeur parmi {vrai, faux} telle que F est vraie Par exemple, a b c est satisfiable pour a=vrai, b=vrai, c=faux Une formule est contradictoire si elle n'est pas satisfiable : (a b)(b c)(c a)(ac( b c En rgle gnrale, essayer de simplifier l'expression, puis tablir la table de vrit Il existe d'autres mthodes (un peu) moins laborieuses (diagrammes de Karnaugh, mthode de Quine, mthode de Davis-Putnam ...)
Jacques Farr 2012 Informatique gnrale

Algbre de Boole
On considre les oprateurs { , } sur { 0, 1 } par convention on crit a+b au lieu de a b, a.b pour a b, pour a
Associativit et commutativit de + et de . (a+b)+c = a+(b+c) = a+b+c a+b = b+a Distributivit : Idempotence : lment neutre : a.(b+c) = a.b + a.c a+a+...+a = a (idem avec .) a+0 = a, a.1 = a a+1 = 1, a.0 = 0 Sauriez vous le montrer ?
10

(idem avec .) (idem avec .)

Et donc, parmi d'autres proprits : a + a.b = a, a.(a+b) = a (a+b).(a+c) = a + bc a + .b = a + b a.( + b ) = a.b

Jacques Farr 2012 Informatique gnrale

Algbre de Boole
(solutions de l'exercice prcdent)
On peut utiliser des tables de vrit, mais aussi procder plus algbriquement : a + a.b = a.1 + a.b = a.(1+b) = a.1 = a
tilis on u e
on ut

a.(a+b) = a.a + a.b = a + a.b = a

(a+b).(a+c) = a.a + a.c + b.a + b.c = a + a.(b+c) + b.c = a + b.c on utilise a + .b = (a+).(a+b) = 1.(a+b) = a+b a.( + b ) = a. + a.b = 0 + a.b = a.b
Jacques Farr 2012 Informatique gnrale

ilis e
11

Systme complets
Un ensemble d'oprateurs propositionnels est dit complet si tout autre oprateur peut se dfinir au moyen des connecteurs de l'ensemble
L'ensemble { , } est complet (il y en a d'autres) par exemple : A XOR B = (A B) (A B)
A F F V V B F V F V A B V V V F F V F F A B F V F F A B ( A B) (A B) F F F V V V F F A XOR B F V V F

Lois de Morgan (gnralisables N variables) (A B) ( A) ( B) (A B) ( A) ( B)

Jacques Farr 2012 Informatique gnrale

Dmonstration laisse titre d'exercice

12