Académique Documents
Professionnel Documents
Culture Documents
-1-
Les formes, les énoncés et les opérateurs booléens
L'énoncé précédant est un paradoxe car si Socrate dit la vérité alors l'énoncé de Platon doit être faux
mais si l'énoncé de Platon est faux alors Socrate ne dit pas la vérité et l'énoncé de Platon doit être vrai !
Ce n'est que vers 1910 que de tels paradoxes de la logique formelle furent résolus par Russell et
Whitehead. Cependant vers 1854 Boole (1815-1864) présenta une étude systématique de la logique
mathématique. Il construisit les lois mathématiques des énoncés qui permettent d'obtenir une conclusion
valide. Le raisonnement fut alors transformé en une algèbre qui s'avéra un outil essentiel vers 1937
quand Claude E. Shannon, alors étudiant en génie électrique au MIT utilisa l'algèbre de Boole pour
simplifier les circuits électriques. La voie s'ouvrait vers les microprocesseurs d'aujourd'hui.
La négation
La négation d'un énoncé booléen p se note ¬p, ou ~p. L'énoncé << non p >> est vrai si p est faux et est faux
si p est vrai. On utilise habituellement les symboles 0 et 1 pour représenter les valeurs logiques <<FAUX>>
et <<VRAI>>. Ceci est représenté par un tableau appelé table de vérité.
p ¬p
0 1
1 0
La conjonction
Si p et q sont deux énoncés booléens, la conjonction de p et q, << p ET q >>, est un énoncé qui est vrai si et
seulement si les deux énoncés sont vrais, autrement la conjonction est fausse. Voici la table de vérité de la
conjonction:
-2-
Les formes, les énoncés et les opérateurs booléens
p q
0 0 0
0 1 0
1 0 0
1 1 1
La disjonction
Si p et q sont des énoncés booléens, la disjonction de p et q, << p OU q >>, est un énoncé qui est
vrai lorsqu’au moins un des énoncés simples est vrai. Voici la table de vérité de la disjonction:
p q
0 0 0
0 1 1
1 0 1
1 1 1
Les opérateurs servent à composer des énoncés plus complexes. Les valeurs de vérité de
ces énoncés sont affichées dans des tables de vérité. Voici par exemple la table de vérité
de l'énoncé << non p ou q >>:
0 0 1 1 0
0 1 1 1 1
1 0 0 0 0
1 1 0 1 1
La tautologie et la contradiction
Un énoncé qui est toujours vrai est appelé une tautologie et est noté << t >>, tandis qu'un
énoncé qui est toujours faux est appelé une contradiction et est noté << c >>.
0 0 1 0
-3-
Les formes, les énoncés et les opérateurs booléens
0 1 1 0
1 0 1 0
1 1 0 1
0 0 1 1 1
0 1 1 1 0
1 0 0 1 1
1 1 0 0 0
Les résultats sont les mêmes dans la table de vérité nous concluons que ces énoncés sont
équivalents et nous notons ce fait ainsi:
Idempotence
Associativité
commutativité
Distributivité
Identité
Complémentarité
Involution
Lois de De Morgan
-4-
Les formes, les énoncés et les opérateurs booléens
La logique des énoncés booléens trouve une application naturelle dans les circuits électriques et
électroniques qui sont au coeur même des ordinateurs.
Le circuit série
L'image suivante illustre deux contacts A et B, une tension à l'entrée et une charge. Le
circuit est en série car les deux contacts doivent être fermés pour que le courant circule
vers la charge.
contact contact
courant
A B
0 0 0
0 1 0
1 0 0
1 1 1
Cette table de vérité établit tous les états possibles des contacts et les résultats sur le
courant. Ici << 0 >> indique que le contact n'est pas fermé et << 1 >> indique que le
contact est fermé. Nous reconnaissons facilement la table de vérité de la conjonction <<
ET >>. Il est habituel dans l'étude des circuits d'utiliser le point << . >> pour représenter la
conjonction. Ainsi les contacts A et B en série sont représentés par A.B.
Le circuit parallèle
L'image suivante illustre deux contacts A et B, une tension à l'entrée et une charge. Le
circuit est en parallèle car au moins un des contacts doit être fermé pour que le courant
circule vers la charge. L'image suivante illustre un tel circuit.
-5-
Les formes, les énoncés et les opérateurs booléens
Contact Contact
Courant
A B
0 0 0
0 1 1
1 0 1
1 1 1
Cette table de vérité établit tous les états possibles des contacts et les résultats sur le
courant. Ici << 0 >> indique que le contact n'est pas fermé et << 1 >> indique que le
contact est fermé. Nous reconnaissons facilement la table de vérité de la disjonction <<
OU >>. Il est habituel dans l'étude des circuits d'utiliser le symbole << + >> pour
représenter la disjonction. Ainsi les contacts A et B en parallèle sont représentés par A+B.
La négation est représentée habituellement par une barre sur la lettre pour les circuits
logiques.
Pour simplifier les représentations graphiques nous pouvons laisser tomber la description
de la tension et de la charge qui n'ont pas d'intérêt pour notre propos. Nous obtenons les
illustrations suivantes où E indique l'entrée et S la sortie.
-6-