Logique de base/Exercices/Algèbre de Boole
Réduire les équations en utilisant les propriétés de l'algèbre de Boole:
À 2 variables
[modifier | modifier le wikicode]Équation 1
[modifier | modifier le wikicode]Je factorise par rapport à a dans tous les termes:
Équation 2
[modifier | modifier le wikicode]Je développe par rapport à la parenthèse :
(on remarque que a + a = 1)
Je factorise par rapport à dans tous les termes grâce à la simplification:
Équation 3
[modifier | modifier le wikicode]
Équation 4
[modifier | modifier le wikicode]Je développe la première parenthèse avec la deuxième :
Je factorise par rapport à a dans tous les termes:
Équation 5
[modifier | modifier le wikicode]On retire les parenthèses
a et son complément valent 1 et 1+ n'importe quelle valeur vaut 1
Équation 6
[modifier | modifier le wikicode]idem équation 5
À 3 variables
[modifier | modifier le wikicode]Équation 1
[modifier | modifier le wikicode]Je développe la première parenthèse avec la deuxième :
Je factorise a dans tous les termes, sauf dans le dernier :
Équation 2
[modifier | modifier le wikicode]Je développe la première parenthèse avec la deuxième :
Théorème du consensus
Équation 3
[modifier | modifier le wikicode]On développe la première parenthèse avec la deuxième :
On développe la première parenthèse avec la deuxième :
Équation 4
[modifier | modifier le wikicode]
Équation 5
[modifier | modifier le wikicode]Je développe les deux premières parenthèses :
Dans la première parenthèse, je factorise autant que possible et dans le reste, je factorise autant que possible :
Je factorise autant que possible =
Équation 6
[modifier | modifier le wikicode]
On factorise a dans les 3 termes :
Dans la parenthèse, on factorise dans le premier et le dernier terme :
Équation 7
[modifier | modifier le wikicode]
Je développe les 3 groupes de 2 parenthèses chacune :
Je factorise a dans les 3 premiers termes et b dans les 2 termes suivants :
Équation 8
[modifier | modifier le wikicode]
On développe l'expression :
Les premiers et derniers produits disparaissent, d'où :
Équation 9
[modifier | modifier le wikicode]
On factorise par b et par c :
À 4 variables
[modifier | modifier le wikicode]Équation 1
[modifier | modifier le wikicode]
Je développe la dernière parenthèse avec :
Je développe les parenthèses :
Je factorise dans tous les termes :
Équation 2
[modifier | modifier le wikicode]
Je développe les parenthèses :
Je factorise dans tous les termes :
Équation 3
[modifier | modifier le wikicode]
Je développe les parenthèses :
Je factorise par dans les deux premiers termes et par dans les trois derniers termes.

