Informatique


Les tables de vérité

Aller à

Conjonction

x y x & y
F F F
F V F
V F F
V V V


Disjonction

x y x | y
F F F
F V V
V F V
V V V

Ainsi:

  • le symbole + se lit ou.
    L’expression a + b = 1 se lit a ou b égal à 1.
    Cette condition est vérifiée pour a ou pour b (ou pour les deux en même temps) égale à 1
  • le symbole . se lit et.
    En effet l’expression a . b = 1 se lit a et b égal à 1.
    Cette condition est vérifiée pour a et b égal à 1. (Si l'un des deux vaut 0, l'équation n’est pas vérifiée)
  • la variable a se lit " a barre " (ou " non a "). Elle prend la valeur opposé de a. Si a = 1 alors a = 0 et inversement.


Propriétés du OU

  • a + 1 = 1 (variable absorbée)
  • a + 0 = a (élément neutre)
  • a + a = a
  • a + a = 1 (voir Propriété de la complémentarité)


Propriétés du ET

  • a . 1 = a (variable neutre)
  • a . 0 = 0 (élément absorbée)
  • a . a = a
  • a . a = 0 (voir Propriété de la complémentarité)


Propriétés de la complémentarité


Propriétés de l'indempotence

  • a + a = a
  • a . a = a


La commutativité

  • a + b = b + a
  • a . b = b . a


L'associativité

  • a + b + c = (a + b) + c = a + (b + c)
  • a . b . c = (a . b) . c = a . (b . c)


La distributivité

  • a .(b + c) = a . b + a . c
  • ( a + b ) . ( c + d ) = a . c + a . d + b . c + b . d
  • a + ( b . c ) = ( a + b ) . ( a + c )


Théorème de De Morgan

  • a + b + c = a . b . c
  • a . b . c = a + b + c