Approfondissements de lycée/SE Logique

LogiqueModifier

Ces solutions n'ont pas été écrites par l'auteur du reste du livre. Elles sont simplement les réponses que je pense correctes pendant ma résolution des exercises. J'espère que ces réponses seront très utiles et que les personnes corrigeront mon travail si j'ai fait des fautes.

Exercices de composition des tables de véritéModifier

1. NAND : x NAND y = NON (x ET y)

La fonction NAND
x y x ET y
0 0
1
0 1
1
1 0
1
1 1
0

2. NOR : x NOR y = NON (x OU y)

La fonction NOR
x y x OU y
0 0
1
0 1
0
1 0
0
1 1
0

3. XOR : x XOR y est vrai si et SEULEMENT si soit x ou y est vrai.

La fonction XOR
x y x OR y
0 0
0
0 1
1
1 0
1
1 1
0


Produire les tables de vérités pour : 1. xyz

x

y

z

xyz

0

0

0

0

0

0

1

0

0

1

0

0

0

1

1

0

1

0

0

0

1

0

1

0

1

1

0

0

1

1

1

1

2. x'y'z'

x

y

z

x'y'z'

0

0

0

1

0

0

1

0

0

1

0

0

0

1

1

0

1

0

0

0

1

0

1

0

1

1

0

0

1

1

1

0

3. xyz + xy'z

x

y

z

xyz + xy'z

0

0

0

0

0

0

1

0

0

1

0

0

0

1

1

0

1

0

0

0

1

0

1

1

1

1

0

0

1

1

1

1

4. xz

x

z

xz

0

0

0

0

1

0

1

0

0

1

1

1

5. (x + y)'

x

y

(x + y)'

0

0

1

0

1

0

1

0

0

1

1

0

6. x'y'

x

y

x'y'

0

0

1

0

1

0

1

0

0

1

1

0

7. (xy)'

x

y

(xy)'

0

0

1

0

1

1

1

0

1

1

1

0

8. x' + y'

x

y

x' + y'

0

0

1

0

1

1

1

0

1

1

1

0

Exercices sur les lois d'algèbre booléenneModifier

1.

1. z = ab'c' + ab'c + abc
 
2. z = ab(c + d)
 
3. z = (a + b)(c + d + f)
 
4. z = a'c(a'bd)' + a'bc'd' + ab'c
 
5. z = (a' + b)(a + b + d)d'
 

2. Montrer que x + yz est équivalent à (x + y)(x + z)

 

Exercices sur les implicationsModifier

  1. Décider si les propositions suivantes sont vraies ou fausses
    1. Si 1 + 2 = 3, alors 2 + 2 = 5
    2. Si 1 + 1 = 3, alors le poisson ne peut pas nager
  2. Montrer que la paires de propositions suivante est équivalente
    1.   :