Quelques propriétés des connecteurs logiques
Remarque : Notations et intentions
Dans toute cette partie, P, Q et R sont des propositions.
Dans toutes ces propriétés, le signe '=' indique en réalité une équivalence logique
Les propriétés énoncées ci-dessous ont été établies en TD en utilisant des tables de vérité.
Fondamental : Propriété du connecteur NON
Fondamental : Propriétés du connecteur OU
(complément : on appelle cette propriété "idempotence")
(complément : on appelle cette propriété "commutativité")
(complément : on appelle cette propriété "associativité")
On peut alors écrire ce calcul
Fondamental : Propriétés du connecteur ET
On peut alors écrire ce calcul
Fondamental : Propriétés faisant intervenir les connecteurs OU et ET.
Les deux propriétés ci-dessous s'appellent des propriétés de "distributivité".
Complément : Lois de Morgan