Professional Documents
Culture Documents
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
1/12
La logique, pourquoi ?
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
3/12
4/12
en mathmatiques
0P
nPn+2P
en informatique
5/12
faux
vrai
vrai
faux
6/12
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
V
V
V
F
NOR
quivalence
(ou)
V
F
F
V
XOR
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 ?
7/12
(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
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
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 :
Idempotence :
lment neutre :
a+0 = a, a.1 = a
a+1 = 1, a.0 = 0
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
on
tilis
on u
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
Dmonstration laisse
titre d'exercice
12/12