« Fonctionnement d'un ordinateur/Les circuits combinatoires » : différence entre les versions

 

: <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.