« Approfondissements de lycée/SP Logique » : différence entre les versions
Contenu supprimé Contenu ajouté
mAucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 9 :
2.
:<math>(x \Leftrightarrow y) \Rightarrow z = \,</math>
:<math>(x \Leftrightarrow y)' + z = \,</math>
:<math>(x' + y)' + z = \,</math>
:<math>xy' + z\,</math>
3.
Ligne 57 :
'''
D'abord,
:NOT x = x' = x'x' = (xx)' = x NAND x
donc,
:x OR y = x + y = (x'y')' = (x NAND x) NAND (y NAND y)
et
:x AND y = xy = (xy)' ' = (x NAND y) NAND (x NAND y)
Maintenant
:(x + y)w = ((x NAND x) NAND (y NAND y)) NAND w
:(x + y)w + z = ((((x NAND x) NAND (y NAND y)) NAND w) NAND (((x NAND x) NAND (y NAND y)) NAND w)) NAND (z NAND z)
| |||