Chapitre 2 : Exercices

2.1 Tables de vrit

2.1.1 Remplissez la table de vrit : x 0 0 1 1 y 0 1 0 1 !x (!x + y) xy x (!x + y)

Notez que deux colonnes ont les mmes valeurs. C'est dire qu'elles sont quivalentes et que l'expression de colonne X = l'expression de colonne Y. Quelle proprit boolenne vient-on de prouver ? 2.1.2 Maintenant qu'on sait qu'on peut prouver des proprits, thormes etc... en utilisant des tables de vrit, remplissez la table de vrit suivante pour prouver DeMorgan : x 0 0 1 1 y 0 1 0 1 xy !(xy) !x !y !x + !y

crivez la thorme DeMorgan (deux expressions) :

L'quivalence de quelles colonnes prouve la premire expression ? L'quivalence de quelles colonnes prouve la deuxime expression ?

2.2 Logique boolenne

2.2.1 Utilisez la proprit d'absorption pour montrer que y + xy + yz + z = y + z. Vous n'avez que de transformer la ct gauche pour que a devienne gale la ct droite. y + xy + yz + z = y + z

2.2.2 Quand on simplifit les quations boolennes, parfois c'est ncessaire de faire l'expansion d'une terme pour qu'on puisse simplifier l'ensemble. Par exemple, on peut faire la transformation suivante : yz = xyz + !xyz Montrez que cette transformation est valide (comme vous avez fait en 2.2.1) en utilisant des axiomes, thormes et proprits, comme ncessaire. xyz + !xyz = yz

2.2.3 Utilisez les axiomes, thormes et proprits boolennes pour prouver l'quation suivante. (Par exemple, pour la ct gauche, commencez avec la proprit distributive, invoquez deux axiomes, puis utilisez la proprit de commutativit.) (x + y) (!x + !y) = x!y + !xy

2.2.4 Utilisez la thorme DeMorgan pour prouver l'quation qui suit. Vous pouvez galement manipuler la ct gauche ou droite de l'quation (idalement, essayez de faire les deux, c'est une bonne exercice puisque vous allez faire des conversions de ce manire assez souvent dans le cours). La ct gauche de l'quation est en format somme de produits, et la ct droite est en format produit de sommes - est-ce-que vous voyez d'o viennent ces noms ? !x!y!z + !xy!z + xyz + x!yz = (x+y+!z) (x+!y+!z) (!x+!y+z) (!x+y+z)