Table de vérité

[BIG136]

Bonjour,
D'où vient le contenu des tables de vérité de base. (OU, ET, ..)?

Par exemple pour la fonctionne ET, comment est établie la dernière colonne:



Y a-t-il des preuves mathématiques ou ...?

D'avance merci.
-----

[Deedee81]

Salut,

Y a-t-il des preuves mathématiques ou ...?

C'est plutôt une définition des opérateurs OU et ET. Basé sur la logique orthodoxe ou plutôt la logique booléenne.
https://fr.wikipedia.org/wiki/Alg%C3...oole_(logique)
(conjonction et disjonction sont définies et non démontrées)

On peut par contre démontrer (à partir de ça) des formules booléennes plus compliquées (et leur table de vérité).

Il existe bien sûr des logiques non orthodoxes.

[f6bes]

Bjr , J'aurais préférer lire
ENTREE 1
ENTREE 2
NIVEAU de la sortie (Résultat)
Là c'est un table de vérité pour un "certain circuit= ci"
Un circuit différent peut répondre à une table avec sortie différente....pour peut qu'il comporte un inverseur interne....pi autre.

Bonne journée

[syborgg]

Bonjour,
D'où vient le contenu des tables de vérité de base. (OU, ET, ..)?

Par exemple pour la fonctionne ET, comment est établie la dernière colonne:

Pièce jointe 481226

Y a-t-il des preuves mathématiques ou ...?

D'avance merci.

C'est simple : intuitivement, si deux propositions sont vraies separement, leur conjonction est aussi vraie. Et si au moins l'une des deux est fausse, leur conjonction est aussi fausse.

[A voir en vidéo sur Futura]

[Deedee81]

Bjr , J'aurais préférer lire

C'est très bien car justement la logique booléenne est celle des "circuits logiques". J'ai beaucoup joué avec des portes logiques en électronique quand j'étais jeune

Et ce que dit Syborgg est bien aussi car en effet la logique orthodoxe et la logique booléenne sont ce qui est adapté à la "logique du quotidien".
S'il pleut ET si je suis sans parapluie ALORS je vais être mouillé (sous entendu pas d'autres astuces comme avoir une capuche évidemment).

Les logiques différentes peuvent être très piégeuse (comme https://en.wikipedia.org/wiki/Quantu...raic_structure ) car ne se comportant pas de manière "intuitive".
Il y a d'ailleurs une infinité de logiques différentes (même si on n'en utilise que quelques unes en pratique)