Fonctions logiques - Université de Bordeaux (Talence)

Titre du sujet
Fonctions logiques
Établissement
Université de Bordeaux (Talence)
Année
2018-2019
Résumé
La logique mathématique est le domaine mathématique qui s'occupe de la
vérité d'un énoncé. Ce domaine est donc à la base des mathématiques
rigoureuses tels qu'on les connaît aujourd'hui. Il est également à la base
de l'informatique qui utilise 1 pour vrai et 0 pour faux et qui s'en sert
pour toutes les utilisations quotidiennes. Hélas, utiliser plusieurs types
de portes logiques, c'est-à-dire des composants électroniques réalisant des
fonctions logiques, coûte cher. Ces fonctions logiques renvoient "vrai" ou
"faux" en fonction des valeurs en entrée. Sous quel condition une ou
plusieurs fonctions logiques peut-t-elle, en utilisant uniquement celles-ci,
permettre la génération de l'ensemble des fonctions logiques et ainsi
économiser de l'argent? Une fonction ou un ensemble de fonctions qui
génèrent l'ensemble des fonctions est "générateur".Existe-t-il une fonction
génératrice à elle toute seule?