Bonjour, je viens de commencer l'informatique et je ne comprend pas ce que sont les booléens, qu'est-ce que des fonctions booléens à n variables? et en quoi ces formules booléen peuvent-elle toutes être exprimé par le connecteur "nand". Et pour finir, avez vous des livres à me conseiller pour mieux comprendre cette matière? Sachant que j'utilise Caml Light en cours. Merci
Bonsoir,
les booléens sont des variable à deux états : {0,1} {faux,vrais} {0,>0} ...
avec une porte nand on peut faire toute les autres fonctions logiques, il faut connaître l'algèbre de Boole
soit A et B deux variables Booléennes
nand(A,A)=not :
nand(A,B)->not=and :
nand(not(A),not(B))=or :
ainsi de suite ...
La logique est une méthode systématique d’arriver en confiance à la mauvaise conclusion.
Mais en fait je comprend pas ce que signifie Nand. Je sais que ça signifie Non et... Mais par exemple nand(A,A) je ne sais pas comment le lire.
Ca date un peu mais il me semble qu'en Automatisme et Informatique Industriel, la porte Nand nous avait été présenté comme une porte Non And (Non ET) ou Not And.
Ben dis donc, on me cache tout à moi , j'apprends brutalement que AND, OR, NOR, XOR, XNOR ... ne servent à rien.Envoyé par doul11
Bref Boole s'est décarcassé pour rien le pauvre, NAND suffisait.
Toute la logique formelle avec le NON ET ....qui l'aurait cru ?
Pourquoi mon dieu se poserait-on des problèmes de type inclusif, exclusif ou implication, hein. Pourquoi se compliquer la vie .... rien que des fleurs des papillons et des petits oiseaux.
Je suis d'accord que Nand veut dire "NON ET" mais je comprend pas par exemple que nand(not(A),not(B))=or
écrit comme ça c'est une fonction qui prends deux variables en entrée A et A, cette fonction retourne une valeur Booléenne qui est le résultat de
La logique est une méthode systématique d’arriver en confiance à la mauvaise conclusion.
Donc quand tu écrit nand(A,A)=NOT c'est toi qui le définit comme ça?
Bla bla bla ... sans aucun intérêt.
Sinon on dit qu'on peut tout faire avec un porte nand car elle est très simple a implémenter : http://en.wikipedia.org/wiki/NAND_gate#Implementations -> porte and http://en.wikipedia.org/wiki/AND_gate#Implementations
La logique est une méthode systématique d’arriver en confiance à la mauvaise conclusion.
non c'est pas moi, c'est l'algèbre de Boole, tu as la démonstration dans mon message.
La logique est une méthode systématique d’arriver en confiance à la mauvaise conclusion.
MMMh ok d'accord, j'vais essayer de m'en sortir avec ça, merci
Si je comprend bien, d'après vous, on va réécrire toute la logique formelle avec le NON ET ? Vous êtes sûr de ne pas confondre logique et électronique ?
Bonsoir,
Je n'ai jamais dit ceci, j'ai démontré qu'il était possible de faire les trois fonctions de base de la logique avec NON-ET, seules les fonctions NON-ET et NON-OU ont cette propriété, je vous laisse trouver pourquoi.on va réécrire toute la logique formelle avec le NON ET ?
On peut débattre du bien fondé de dire : "on peut tout faire avec NAND" et des raisons plutôt électroniques que mathématiques, il n'empêche que c'est vrais et que c'est un excellent exercice de base sur l'algèbre de Boole.
La logique est une méthode systématique d’arriver en confiance à la mauvaise conclusion.
