You are on page 1of 12

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 2013

Informatique gnrale lments d'algbre de Boole

1/12

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

Jacques Farr 2013

Informatique gnrale lments d'algbre de Boole

2/12

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 2013

Informatique gnrale lments d'algbre de Boole

3/12

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 2013

Informatique gnrale lments d'algbre de Boole

4/12

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 ...

Jacques Farr 2013

Informatique gnrale lments d'algbre de Boole

5/12

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 : u1(A) faux quelque soit A
u2 est l'identit : u2(A) vaut A pour tout A
u3 est la ngation, note
A
A
ou

faux

vrai

vrai

faux

u4 est la tautologie (toujours vrai)


Jacques Farr 2013

Informatique gnrale lments d'algbre de Boole

6/12

Oprateurs logiques binaires


16 (24) oprateurs binaires, parmi lesquels
A

ET
(ou

OU
( ou +)

F
F
V
V

F
V
F
V

F
F
F
V

F
V
V
V

NAND
(non ET)

F
F
V
V

F
V
F
V

Jacques Farr 2013

V
V
V
F

NOR

quivalence
(ou)
V
F
F
V
XOR

(non OU) (OU exclusif)

V
F
F
F

implication
(ou )

F
V
V
F

V
V
F
V

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 ?

Informatique gnrale lments d'algbre de Boole

7/12

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 2013

Informatique gnrale lments d'algbre de Boole

8/12

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 : (ab)(bc)(ca)(ac(bc
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 2013

Informatique gnrale lments d'algbre de Boole

9/12

Algbre de Boole
On considre les oprateurs { , } sur { 0, 1 }
par convention on crit a+b au lieu de ab,
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

(idem avec .)
(idem avec .)

Distributivit :

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

Idempotence :

a+a+...+a = a (idem avec .)

lment neutre :

a+0 = a, a.1 = a
a+1 = 1, a.0 = 0

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 2013

Informatique gnrale lments d'algbre de Boole

Sauriez vous
le montrer ?
10/12

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
e
ut
ilis

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

on

tilis
on u

(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 2013

Informatique gnrale lments d'algbre de Boole

11/12

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 2013

Dmonstration laisse
titre d'exercice

Informatique gnrale lments d'algbre de Boole

12/12