Voir la source de Fonction logique

{{Redirect|Circuit logique|homonymie=Fonction (mathématiques)}}
Il existe deux grands types de '''fonctions logiques''' :
* les fonctions logiques dites « [[Logique combinatoire (électronique)|combinatoires]] », bases du [[Algèbre de Boole (structure)|calcul booléen]], elles résultent de l'analyse combinatoire des variations des grandeurs d'entrées uniquement ;
* les fonctions logiques dites « [[Logique séquentielle|séquentielles]] » ou [[Bascule (circuit logique)|bascules]], qui résultent de l'association de plusieurs fonctions logiques « combinatoires » dont les résultats ne dépendent pas seulement des données en train d'être traitées, mais aussi des données traitées précédemment.

Les '''fonctions logiques combinatoires''' directement issues des mathématiques ([[algèbre de Boole (logique)|algèbre de Boole]]) sont les outils de base de l'[[électronique numérique]]. Elles sont [[Mise en œuvre|mises en œuvre]] en électronique sous forme de '''[[Porte logique|portes logiques]]'''. Ainsi les circuits électroniques [[Calcul (mathématiques)|calculent]] des [[Algèbre de Boole (logique)#Fonctions logiques|fonctions logiques de l'algèbre de Boole]]. Ces portes électroniques sont construites à partir de plusieurs [[transistor]]s connectés de manière adéquate.

Dans d'autres applications, on peut trouver des portes logiques à base de [[relais électromécanique|relais]], de fluides ou d'éléments optiques ou mécaniques. Selon la [[Modèle mathématique|modélisation]] utilisée, on prendra en compte les temps de retard ou pas dans les calculs.

L'[[automatisme]] et l'[[informatique]] utilisent la [[Logique combinatoire (électronique)|logique combinatoire ]]mais surtout la [[logique séquentielle]].

== Historique ==
=== De la roue dentée à la molécule ===
[[Charles Babbage]], vers 1837, conçut la « machine analytique », assemblage de portes reliées à des roues dentées pour effectuer des opérations logiques. Par la suite, les opérations logiques furent effectuées grâce à des [[relais électromécanique]]s.

En 1891, [[Almon Strowger]] déposa un brevet pour un appareil contenant un commutateur basé sur une porte logique ({{US patent|0447918}}). Son invention ne fut guère exploitée jusque dans les années 1920. 

À partir de 1898, [[Nikola Tesla]] déposa une série de brevets concernant des appareils basés sur des circuits à portes logiques. 

Finalement, les [[Tube électronique|tubes à vide]] remplacèrent les relais pour les opérations logiques. En 1907, [[Lee De Forest]] modifia l'un de ces tubes et l'utilisa comme une porte logique ET. [[Claude Shannon]] introduisit l'utilisation de l'algèbre de Boole dans la conception de circuits en 1937.

[[Walther Bothe]], inventeur du circuit de coïncidence, reçut le [[prix Nobel]] de physique en 1954, pour la création de la première porte logique ET électronique moderne en 1924. 

Des travaux de recherche sont actuellement menés pour la génération de portes logiques moléculaires.

=== Les portes logiques à transistors ===
La forme la plus simple de la logique électronique est la logique à [[diode]]s. Cela permet la fabrication de portes ET et OU, mais pas de portes NON ce qui conduit à une logique incomplète. Pour créer un système logique complet, il est nécessaire d'utiliser des lampes ou des [[transistor]]s.

La famille la plus simple de portes logiques utilisant des transistors bipolaires est appelée [[Porte logique résistance-transistor|logique résistance-transistor]] ou RTL (''{{lang-en|resistor-transistor logic}}''). Au contraire des portes à diodes, les portes RTL peuvent être mises en cascade indéfiniment pour produire des fonctions logiques complexes. 

Pour diminuer le temps de retard, les [[Résistance (composant)|résistances]] utilisées par les portes RTL furent remplacées par des diodes, ce qui donna naissance aux [[Porte logique diode-transistor|portes logiques diode-transistor]] ou DTL (''{{lang-en|diode-transistor logic}}''). On découvrit ensuite qu'un transistor pouvait faire le travail de deux diodes en prenant la place d'une seule, ce qui mena à la création de [[Transistor-Transistor logic|portes logiques transistor-transistor]] ou TTL (''{{lang-en|transistor-transistor logic}}''). 

Dans certains types de circuits, les transistors bipolaires furent remplacés par des transistors à effet de champ ([[Transistor à effet de champ à grille métal-oxyde|MOSFET]]) ce qui donna naissance à la logique [[Complementary metal oxide semi-conductor|CMOS]].

[[Fichier:TexasInstruments 7400 chip, view and element placement.jpg|thumb|180px|Circuit intégré 7400 contenant 4 portes NON-ET (NAND). Les deux autres broches servent à l'alimentation 0V / 5V.]]
Les concepteurs de circuits logiques utilisent actuellement des circuits intégrés préfabriqués, notamment en TTL, la série [[Circuit intégré 7400|7400]] de [[Texas Instruments]], et en CMOS, la série 4000 de [[Radio Corporation of America|RCA]], ainsi que leurs dérivés plus récents. La plupart de ces circuits contiennent des transistors à plusieurs émetteurs, utilisés pour implémenter la fonction ET, et qui ne sont pas disponibles séparément. 

De plus en plus, ces circuits logiques fixes sont remplacés par des [[Circuit logique programmable|circuits logiques programmables]], qui permettent aux concepteurs d'intégrer un grand nombre de portes logiques diverses dans un seul [[circuit intégré]]. La nature programmable de ces circuits, parmi lesquels les [[Circuit logique programmable|FPGA]], a enlevé son aspect purement matériel : il est désormais possible de changer les fonctions logiques d'un système en en reprogrammant les composants, ce qui permet de modifier les caractéristiques d'un circuit logique matériel.

Les portes logiques électroniques diffèrent de manière significative de leurs équivalents à relais et contacts. Elles sont bien plus rapides, moins gourmandes et beaucoup plus petites (au moins un million de fois dans la plupart des cas). 

De plus, il y a une différence fondamentale dans la structure. Les circuits à contacts créent un chemin continu, dans lequel le courant peut circuler dans les deux directions entre l'entrée et la sortie. La porte logique à semi-conducteurs, au contraire, agit comme un [[Amplificateur opérationnel|amplificateur de tension]], qui reçoit un signal en entrée et produit une tension de basse [[Impédance (électricité)|impédance]] en sortie. Le fonctionnement similaire à la [[diode]] des transistors dans le circuit logique permet d'éviter que le courant ne puisse circuler de la sortie vers l'entrée d'une porte à semi-conducteurs.

Un autre grand avantage des circuits logiques standardisés est qu'ils peuvent être mis en cascade. Autrement dit, la sortie d'une porte peut être reliée aux entrées d'une ou plusieurs portes, et ainsi de suite à l'infini, ce qui permet de construire des circuits d'une complexité quelconque sans avoir besoin de connaître le fonctionnement interne des portes. 

Dans la pratique, la sortie d'une porte ne peut être connectée qu'à un nombre fini d'entrées, mais cette limite est rarement atteinte dans les nouveaux circuits [[Complementary metal oxide semi-conductor|CMOS]] comparé aux circuits TTL. 

Il existe également un délai nommé ''temps de propagation'' entre la modification d'une entrée et la modification correspondante en sortie. Dans des portes en cascade, le temps de propagation total est à peu près égal à la somme des temps de propagation individuels, ce qui peut poser un problème dans les circuits à grande vitesse.

=== Portes logiques à 3 états ===
{{article détaillé|Sortie à trois états}}
Les portes logiques dites « à trois états » possèdent une sortie qui peut prendre trois états différents : haut, bas comme sur tout autre circuit logique et un troisième état haute [[Impédance (électricité)|impédance]] nommé ''Z''. L'état de haute impédance ne joue aucun rôle dans la logique proprement dite qui demeure binaire, mais il équivaut en fait à un circuit ouvert, ou à une « absence » de sortie. Cet état permet de ne pas « polluer » la valeur circulant sur le [[bus de données]] auquel il est connecté, lorsque ce circuit ne doit pas en changer l’état.

Ces portes sont utilisées dans les [[Bus informatique|bus informatiques]] afin de choisir l’émetteur et le récepteur des données circulant sur le bus ; un groupe de portes à trois états contrôlées par un circuit approprié équivaut à un [[multiplexeur]] qui peut être réparti physiquement sur plusieurs appareils ou plusieurs [[Circuit imprimé|cartes électroniques]].

== Classification ==

=== Niveaux logiques ===
En algèbre de Boole, une donnée, qu'elle soit en entrée ou en sortie, n'a que deux niveaux possibles. Selon les applications, ces deux niveaux peuvent porter des noms différents : marche / arrêt, haut / bas, un (1) / zéro (0), vrai / faux, positif / négatif, positif / nul, circuit ouvert / circuit fermé, différence de potentiel / pas de différence, oui / non.

Dans le cas de circuits électroniques, les deux niveaux sont représentés par deux niveaux de tension, « haut » et « bas ». Chaque type de circuit possède ses propres niveaux de tension, pour s'assurer de la connectivité entre les entrées et sorties des circuits. Habituellement, deux niveaux bien distincts (ne risquant pas de se chevaucher) sont définis ; la différence entre les deux niveaux varie entre {{unité|0,7|et=28|V}} (ce dernier dans le cas des relais).
	 
Pour harmoniser la notation, ces deux niveaux seront notés ici 1 et 0.

=== Fonctions logiques élémentaires ===
Les portes peuvent être classées suivant leur nombre d'entrées :
* « portes » sans entrée : VRAI, FAUX ; 
* portes à une entrée : [[Fonction NON|NON]] (''NOT''), [[Fonction OUI|OUI]] ; 
* portes à deux entrées : [[Fonction ET|ET]] (''AND''), [[Fonction NON-ET|NON-ET]] (''NAND''), [[Fonction OU|OU]] (''OR''), [[Fonction NON-OU|NON-OU]] (''NOR''), [[Fonction OU exclusif|OU exclusif]] (''XOR''), [[Coïncidence (informatique)]] dite aussi NON-OU exclusif ou équivalence (''XNOR''), [[implication (logique)|implication]] ;
* à partir de trois entrées, le nombre de fonctions commence à subir l'influence de l'[[explosion combinatoire]]. On note toutefois l'existence de : [[Fonction ET|ET]], [[Fonction OU|OU]], etc. à plus de deux entrées.

Il est possible de reconstituer les fonctions [[Fonction NON|NON]], [[Fonction ET|ET]] et [[Fonction OU|OU]] en utilisant uniquement soit la fonction [[Fonction NON-ET|NON-ET]], soit la fonction [[Fonction NON-OU|NON-OU]]. On évoque cette caractéristique sous la notion d'universalité des opérateurs [[fonction NON-OU|NON-OU]] et [[fonction NON-ET|NON-ET]] (cf. le connecteur binaire d'incompatibilité, appelé aussi barre de [[Henry Maurice Sheffer|Sheffer]]).

Lorsqu'on associe deux portes logiques compatibles, on peut connecter deux entrées ensemble, ou une entrée sur une sortie. Il ne faut en aucun cas connecter deux sorties différentes car elles peuvent produire des données différentes ; dans le cas de portes électroniques, cela équivaudrait à un [[court-circuit]].

== Représentation ==

Pour définir chacune des fonctions logiques, nous donnerons plusieurs représentations :

* une représentation [[Langage algébrique|algébrique]] : [[équation]] ; 
* une représentation [[arithmétique]] : [[table de vérité]] ;
* une représentation graphique : symbole logique.

Dans le cas de portes logiques électroniques, un niveau logique est représenté par une tension définie (selon le type de composant utilisé). Chaque porte logique doit donc être alimentée pour délivrer la tension de sortie appropriée. Dans la représentation en symboles logiques, cette alimentation n'est pas représentée, mais elle doit l'être dans un schéma électronique complet.

La représentation d'un système combinatoire incluant plusieurs fonctions logiques peut aussi se faire grâce à un [[Langage Ladder|schéma à contact]], une équation, une [[table de vérité]] et un schéma graphique. Dans ce dernier cas on parlera d'un logigramme.

=== Représentation graphique ===
Deux ensembles de symboles sont utilisés pour représenter les fonctions logiques ; les deux sont définis par la norme [[American National Standards Institute|ANSI]]/[[Institute of Electrical and Electronics Engineers|IEEE]] 91-1984 et son supplément 91a-1991. La représentation par « symboles distinctifs », basée sur les schématisations classiques, est utilisée pour les schémas simples et est plus facile à tracer à la main. Elle est parfois qualifiée de « militaire », ce qui reflète ses origines, sinon son usage actuel.

La représentation « rectangulaire » se base sur la norme [[Commission électrotechnique internationale|CEI]] 60617-12 ; toutes les portes y sont représentées avec des bords rectangulaires et un symbole, ce qui permet la représentation d'un plus grand nombre de types de circuits. Ce système a été repris par d'autres standards comme {{nobr|[[Comité européen de normalisation|EN]] 60617-12:1999}} en Europe et {{nobr|BS EN 60617-12:1999}} au Royaume-Uni.

{| class="wikitable"
|+Symboles et tables de vérités de portes logiques
! scope="col" | Type !! scope="col" | Symbole américain !! scope="col" | Symbole européen 
!Notation !! scope="col" | Opération<br />booléenne !! scope="col" |[[Table de vérité]]
![[Diagramme de Venn]]
|-
|'''[[Fonction ET|ET]]'''
|[[Fichier:and.svg|128px|ET]]
|[[Fichier:IEC AND.svg|128px|ET]]
|<math>A\land B</math>
|<math>A \cdot B</math>
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || A ET B
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 1
|}
|
|-
|'''[[Fonction OU|OU]]'''
|[[Fichier:or-gate-en.svg|128px|OU]]
|[[Fichier:IEC_OR.svg|128px|OU]]
|<math>A\lor B </math>
|<math>\textstyle A + B</math>
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || A OU B
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 1
|}
|
|-
|'''[[Fonction NON|NON]]'''
|[[Fichier:not-gate-en.svg|128px|NON]]
|[[Fichier:Fonctions logiques(2-ebis).png|128x128px]]
|<math>\neg A</math>
|<math>\overline{A}</math>
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
|'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || NON A
|- align="center" bgcolor="#ddffdd"
|0 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 0
|}
|
|-
|'''[[Fonction NON-ET|NON-ET (NAND)]]'''
|[[Fichier:nand-gate-en.svg|128px|NAND]]
|[[Fichier:IEC NAND.svg|128px|NAND]]
|<math>\neg (A\land B)</math>
|<math>\overline{A \cdot B}</math>
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || A NAND B
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 0
|}
|
|-
|'''[[Fonction NON-OU|NON-OU (NOR)]]'''
|[[Fichier:nor-gate-en.svg|128px|NOR]]
|[[Fichier:IEC_NOR.svg|128px|NOR]]
|<math>\neg (A\lor B)</math>
|<math>\overline{A + B}</math>
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || A NOR B
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 0
|}
|
|-
|'''[[Fonction OU exclusif|OU exclusif (XOR)]]'''
|[[Fichier:xor-gate-en.svg|128px|XOR]]
|[[Fichier:IEC_XOR.svg|128px|XOR]]
|<math>A \oplus B</math>
|<math>A \oplus B</math>
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || A XOR B
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 0
|}
|
|-
|[[Coïncidence (informatique)|Coïncidence, NON-OU exclusif]]
|[[Fichier:xnor-gate-en.svg|128px|XNOR]]
|[[Fichier:IEC_XNOR.svg|128px|XNOR]]
|<math>A \odot B</math>
|<math>A \odot B</math>
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || A XNOR B
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 1
|}
|
|-
|FAUX
|
|
|<math>\perp </math>
|
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || FAUX
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 0
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 0
|}
|
|-
|VRAI
|
|
|T
|
|
{| class="wikitable droite"
|- align="center" bgcolor="#ddeeff"
| colspan="2" |'''Entrée'''||'''Sortie'''
|- align="center" bgcolor="#ddeeff"
| A || B || VRAI
|- align="center" bgcolor="#ddffdd"
|0 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|0 || 1 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 0 || 1
|- align="center" bgcolor="#ddffdd"
|1 || 1 || 1
|}
|
|}

Une porte NON-ET (NAND) peut également être représentée en utilisant le symbole OU avec des bulles (inverseurs) sur les entrées, et une porte NON-OU (NOR) peut être représentée par un symbole ET avec des bulles sur les entrées. Cela reflète les [[lois de De Morgan|lois d'équivalence de De Morgan]] ; cela permet de rendre également un diagramme plus lisible, ou de fabriquer un circuit facilement avec des portes préfabriquées, car un circuit qui a des bulles des deux côtés peut être remplacé par un circuit non-inversé en changeant la porte. Si une porte NON-ET est représentée par un OU avec des entrées inversées, ou qu'un NON-OU est représenté par un ET avec des entrées inversées, le remplacement se fait automatiquement dans le schéma (les bulles « s'annulent »). C'est courant dans les diagrammes logiques réels — si bien que le lecteur ne doit pas s'habituer à associer les symboles aux portes OU et ET automatiquement, mais doit aussi prendre en compte les inverseurs pour déterminer la bonne fonction représentée. Les entrées inversées sont particulièrement utiles dans le cas de signaux « actifs à l'état bas ».

Les deux autres portes fréquemment rencontrées sont la fonction OU exclusif et son inverse. Un OU exclusif à deux entrées ne renvoie un 1 que quand les deux entrées sont différentes, et un 0 quand elles sont égales, quelle que soit leur valeur. S'il y a plus de deux entrées, la porte renvoie 1 si le nombre d'entrées égales à 1 est impair<ref>{{en}}{{pdf}}[http://www-inst.eecs.berkeley.edu/~cs61c/resources/dg-BOOL-handout.pdf Representations of Combinational Logic Circuits], sur berkeley.edu, consulté le 14 juillet 2016.</ref>. Dans la pratique, ces portes sont souvent réalisées à partir de combinaisons de portes logiques plus simples.

=== Convention d'écriture ===
La notation surlignée exprimant l'opérateur NON n'est pas facile à utiliser dans des systèmes informatiques. On la remplace souvent par la notation à l'aide d'une apostrophe « ' » et si nécessaire un parenthésage. Ainsi : 
* NON(x) = x', d'où (x')' = x
* NON·ET(x, y)= (x·y)' = x'+y' 
* NON·OU(x, y)= (x+y)' = x'·y' 
* NON·ET(NON·ET(a, b, c), NON·ET(d, f)) = ((a·b·c)')'+((d·f)')' = a·b·c + d·f 
* NON·OU(NON·OU(a, b, c), NON·OU(d, f)) = ((a+b+c)')'·((d+f)')' = (a+b+c)·(d+f)
Les opérateurs physiques NON·ET/NON·OU étant peu commodes dans les calculs, les deux dernières relations (dites de ''double couche'') facilitent la liaison entre calcul et dessin ; ainsi :
* une double couche NON·ET réalise toute fonction donnée sous forme d'une somme de monômes booléens ;
* de même, une double couche NON·OU réalise toute fonction donnée sous forme d'un produit de clauses booléennes.

== Autres fonctions logiques ==
=== Multiplexeurs ===
{{Article détaillé|Multiplexeur}}
Soient 8 entrées binaires x0 à x7, et 3 entrées de commande a, b, c, permettant d'afficher un nombre de 0 à 7. Un multiplexeur aligne sa sortie s sur l'entrée dont le numéro est affiché.
Pour cela, s = a'·b'·c'·x0 + a'·b'·c·x1 + a'·b·c'·x2 + a'·b·c·x3 +....+ a·b·c·x7.
{| class="wikitable droite"
|- bgcolor="#ddeeff" align="center"
|colspan=3|'''Commande''' || '''Sortie'''
|- bgcolor="#ddeeff" align="center"
| a || b || c || s
|- bgcolor="#ddffdd" align="center"
|0 || 0 || 0  || x0
|- bgcolor="#ddffdd" align="center"
|0 || 0|| 1  || x1
|- bgcolor="#ddffdd" align="center"
|0 || 1 || 0 || x2
|- bgcolor="#ddffdd" align="center"
|0 || 1 || 1 || x3
|- bgcolor="#ddffdd" align="center"
|* || * || * || *
|- bgcolor="#ddffdd" align="center"
|1 || 1 || 0 || x6
|- bgcolor="#ddffdd" align="center"
|1 || 1 || 1 || x7
|}

=== Additionneurs ===
{{Article détaillé|Additionneur}}
C'est l'exemple type de cellules logiques, regroupements de fonctions des mêmes variables, utilisables comme ''briques'' ou ''boîtes noires'' dans des ensembles complexes.

==== simple ====
Soient a et b deux bits à additionner ; le résultat est un couple (r, s) tel que, arithmétiquement a + b = 2r + s.
En termes booléens, r = a·b et s = <math> a \oplus b</math>.

==== complet ====
L'addition de deux bits a et b sera le plus souvent une addition intermédiaire recevant un report r. Le résultat est alors un couple (R, S) tel que, arithmétiquement, a+b+r = 2R+S.
En termes booléens, S = <math>a \oplus b \oplus r</math> et R = MAJ(a, b, r), où la porte MAJ(orité) a pour définition MAJ(x, y, z)= xy + yz + xz.

==== soustracteur ====
Un additionneur complet peut devenir additionneur/soustracteur en ''complément à un'' ou ''complément à deux'' s'il fait la somme des bits a, <math>b \oplus \$</math> et r, où r est un report, et $ une commande valant 0 pour une addition et 1 pour une soustraction. Alors, le résultat est un couple (R, S) où S = <math>a \oplus b \oplus \$ \oplus r</math> et R = MAJ(a, <math>b \oplus \$ </math>, r).

==== multiplieur ====
{{Article détaillé|Multiplieur}}
Un additionneur complet peut devenir une cellule de multiplieur s'il fait la somme des bits a, b·m et r, où a est un bit d'une somme partielle de produits, b un bit du multiplicande, m un bit du multiplicateur, et r un report. Alors S = <math>a \oplus b </math>·<math> m \oplus r</math> et R = MAJ(a, b·m, r).

=== Unités de stockage ===
Au-delà des fonctions logiques purement combinatoires, se pose le problème du stockage d'un [[bit]] d'information. Les portes logiques présentées plus haut ne stockent pas de données : quand une entrée change, la sortie réagit immédiatement (au temps de propagation près). Il est possible de créer des éléments de stockage soit avec des [[Condensateur|condensateurs]], soit en utilisant le ''[[Rétroaction|feedback]]''. En connectant la sortie d'une porte à son entrée, on renvoie la sortie dans le circuit logique ; elle peut ainsi être conservée ou modifiée en utilisant les autres entrées. En connectant des portes de cette manière, on crée un verrou (''latch'' en anglais). D'autres circuits un peu plus complexes utilisent des signaux d'horloge (des signaux qui oscillent à une fréquence connue) et changent quand le [[signal d'horloge]] passe à 1 ; on les appelle des [[Bascule (circuit logique)|bascules]] ou bistables (''flip-flops'' en anglais). En combinant plusieurs bascules en parallèle pour stocker une valeur de plusieurs bits, on crée un [[Registre de processeur|registre]].

Les registres et autres circuits de stockage sont regroupés sous le terme de « mémoires électroniques ». Leurs performances varient en matière de vitesse, de complexité et de fiabilité de la mémoire. Leurs types peuvent être très différents selon les applications.

=== Automates à nombre fini d'états ===
Ils comprennent :
* un ensemble défini E de variables d'entrée ;
* un ensemble défini I de variables d'état internes, stockées dans un registre ;
* un ensemble défini S de variables de sortie ;
* un réseau combinatoire T : (E, I) → I assurant l'évolution de l'automate en fonction des entrées successives ;
* un réseau combinatoire R : (E, I) → S assurant la définition de la sortie, conformément aux entrées actuelles, et à la mémoire que I a gardé des situations antérieures.
Dès lors que toutes les variables se présentent sous forme binaire, ils sont réalisables à l'aide de circuits logiques.

Ils peuvent être simples, ou fédérés en automates plus complexes.

=== Unités fonctionnelles ===
Les circuits logiques peuvent également réaliser des éléments comme des [[multiplexeur]]s, des unités arithmétiques et logiques (en anglais : ''Arithmetic and Logic Unit'' ou ''ALU''), des mémoires, ou les automates animant un processeur. Les [[microprocesseur]]s rassemblent de tels éléments, et peuvent contenir plus de 100 millions de portes logiques.

Les composants de microprocesseurs sont à base de transistors à effet de champ, en particulier des [[Transistor à effet de champ à grille métal-oxyde|MOSFET]].

== Notes et références ==
{{Références}}
{{Traduction/Référence|en|Logic gate|90405154}}

== Voir aussi ==
{{Autres projets
  | commons = Category:Logic gates
  | commons titre = Fonctions logiques
  | wikibooks = Électronique numérique : logique | wikibooks titre = Électronique numérique : logique
  | wikiversity = Portes logiques
  | wikiversity titre = Portes logiques
}}

=== Articles connexes ===
* [[Bascule (circuit logique)|Bascule]]
* [[Algèbre de Boole (logique)]]
* [[Sortance]]
* [[Table de Karnaugh]]
* [[Logique pneumatique]]

=== Bibliographie ===
* [[Jean Kuntzmann]], Algèbre de Boole, Dunod, 1965 ,[https://biblio-n.oca.eu/biblio/pmb3.0/opac_css/index.php?lvl=author_see&id=3418 PPN 004867440]

=== Liens externes ===
* ''[http://cours-divers.fr/Exercices/Portes-Logiques/ Exercices porte logique]''.
* {{en}} ''[http://www.uq.edu.au/_School_Science_Lessons/39.4.01.GIF Symbols for logic gates]''. Twenty First Century Books, Breckenridge, CO.
* {{en}} ''[http://www.tfcbooks.com/teslafaq/q&a_024.htm Tesla's invention of the AND logic gate]''. Twenty First Century Books, Breckenridge, CO.
* {{en}} ''[http://www.tfcbooks.com/articles/control.htm Wireless Remote Control and the Electronic Computer Logic elements]''
* {{en}} ''[https://www.randomwraith.com/logic.html LEGO Logic Gates]''

{{Palette|Électronique|Connecteurs logiques}}
{{Portail|logique|électricité et électronique|informatique}}

[[Catégorie:Fonction logique|*]]