« Fonctionnement d'un ordinateur/Les circuits combinatoires » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 540 :
Appliquons la loi de de Morgan dans les parenthèses :
: <math>a \oplus b = (\overline{a} + \overline{b}) . (\overline{\overline{a}} + \overline{\overline{b}})</math>
Simplifions les doubles négations :
: <math>a \oplus b = (\overline{a} + \overline{b}) . (a + b)</math>
Dans les deux exemples précédents, on voit que l'on a pu passer d'une forme normale conjonctive à une forme normale disjonctive et réciproquement, en utilisant la loi de de Morgan. C'est un principe assez général qui se retrouve souvent dans les démonstrations d'équations logiques.
====Exemples complets====
|