SlideShare una empresa de Scribd logo
1 de 6
INSTITUTO UNIVERSITARIO TENGNOLOGICO
                           ANTONIO JOSE DE SUCRE
                          EXTENCION-BARQUISIMETO




                     Importancia de los
          Circuitos del algebra de boole y
                 compuertas lógicas.




MAIRA MONTES DE OCA 23.487.111
En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la
cual aparecen todas las variables en su forma directa o inversa. Una Función lógica que está compuesta
por operador lógico puede ser expresada en forma canónica usando los conceptos de minterm y maxterms.
Todas las funciones lógicas son expresables en forma canónica, tanto como una "suma de maxterms" como
"producto de maxterms". Esto permite un mejor análisis para la simplificación de dichas funciones, lo que es de
gran importancia para la minimización de circuitos digitales.

Una función booleana expresada como una disyunción lógica (OR) de maxterms es usualmente conocida la
"suma de productos", y su Dual de Morgan es el "producto de sumas", la cual es una función expresada como
una conjunción lógica (AND) de maxterms.

En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los
valores binarios 0 ó 1 ("falso" o "verdadero", respectivamente), y cuyo condominio son ambos valores 0 y 1.

Formalmente, son las funciones de la forma ƒ: Bn → B, donde B = {0,1} y n un entero no negativo
correspondiente a la aridad de la función.



Modo de presentación:

Existen distintas formas de representar una función lógica, entre las que podemos destacar las siguientes:


             Algebraica
             Por tabla de verdad
             Numérica
             Gráfica



Algebraica
Se utiliza cuando se realizan operaciones algebraicas. A continuación se ofrece un ejemplo con distintas formas
en las que se puede expresar algebraicamente una misma función de tres variables.

         a) F = [(A + BC’)’ + ABC]’ + AB’C
         b) F = A’BC’ + AB’C’ + AB’C + ABC’
         c) F = (A + B + C)(A + B + C’)(A + B’ + C’)(A’ + B’ + C’)
         d) F = BC’ + AB’
         e) F = (A + B)(B’ + C’)
         f) F = [(BC’)’(CB)´ (AB’)’]’
         g) F = [(A + B)’ + (B’ + C’)’]’
La expresión a) puede proceder de un problema lógico planteado o del paso de unas especificaciones a lenguaje
algebraico. Las formas b) y c) reciben el nombre expresiones canónicas: de suma de productos (sum-of-
productos, SOP, en inglés), la b), y de productos de sumas (product-of-sums, POS, en inglés), la c); su
característica principal es la aparición de cada una de las variables (A, B y C) en cada uno de los sumandos o
productos. Las d) y e) son funciones simplificadas, esto es, reducidas a su mínima expresión.

                                    [Por tabla de verdad
Una tabla de verdad contiene todos los valores posibles de una función lógica dependiendo del valor de sus
variables. El número de combinaciones posibles para una función de n variables vendrá dado por 2 n. Una
función lógica puede representarse algebraicamente de distintas formas como acabamos de ver, pero sólo tiene
una tabla de verdad. La siguiente tabla corresponde a la función lógica del punto anterior.

La forma más cómoda para ver la equivalencia entre una tabla de verdad y una expresión algebraica es cuando
esta última se da en su forma canónica. Así, la función canónica de suma de productos (o forma canónica
disyuntiva)

         F = A’BC’ + AB’C’ + AB’C + ABC’
    nos indica que será 1 cuando lo sea uno de sus sumandos, lo que significa que tendrá por lo tanto cuatro
    combinaciones que lo serán (010 para A’BC’, 100 para AB’C’, 101 para AB’C y 110 para ABC’) siendo el
    resto de combinaciones 0. Con la función canónica de producto de sumas (o forma canónica conjuntiva) se
    puede razonar de forma análoga, pero en este caso observando que la función será 0 cuando lo sea uno de
    sus productos.

    También es fácil obtener la tabla de verdad a partir de la función simplificada, pero no así a la inversa.




Numérica
La representación numérica es una forma simplificada de representar las expresiones canónicas. Si
consideramos el criterio de sustituir una variable sin negar por un 1 y una negada por un 0, podremos
representar el término, ya sea una suma o un producto, por un número decimal equivalente al valor binario de la
combinación. Por ejemplo, los siguientes términos canónicos se representarán del siguiente modo (observe que
se toma el orden de A a D como de mayor a menor peso):

         AB’CD = 10112 = 1110
         A’ + B + C’ + D’ = 01002 = 410
Para representar una función canónica en suma de productos utilizaremos el símbolo Σ n (sigma) y en
     producto de sumas Πn (pi), donde n indicará el número de variables. Así, la representación numérica
     correspondiente a la tabla de verdad del punto anterior quedará como:

         F = Σ3(2, 4, 5, 6) = Π3(0, 1, 3, 7)
          Matemáticamente se demuestra, que para todo término i de una función, se cumple la siguiente
          ecuación:

         F = [Σn(i)]' = Πn(2n-1-i )
               A modo de ejemplo se puede utilizar esta igualdad para obtener el producto de sumas a partir de
               la suma de productos del ejemplo anterior:

         F = Σ3(2, 4, 5, 6) = [Σ3(2, 4, 5, 6)]' ' = [Σ3(0, 1, 3, 7)]' = Π3(0, 1, 3, 7)


         Gráfica
La representación gráfica es la que se utiliza en circuitos y esquemas electrónicos. En la siguiente figura se
representan gráficamente dos funciones algebraicas, una con símbolos no normalizados, superior, y la otra con
normalizados, inferior (véanse los símbolos de las puertas lógicas)




Conjunción lógica
AND Compuerta lógica.


Una conjunción lógica (comúnmente simbolizada como Y o       ) es, en lógica y matemáticas, un operador lógico que
resulta en verdadero si los dos operadores son verdaderos.



 Conjunción es un «enunciado con dos o más elementos simultáneos». Una lámpara eléctrica se enciende si hay
corriente eléctrica, el interruptor está conectado, el fusible está bien y la lámpara no está fundida, en cualquier
otro caso la lámpara no se encenderá.

Para dos entradas A y B, la tabla de verdad de la función conjunción es:




Desarrollo del algoritmo fundamental en lógica de circuitos


La definición de la tabla de verdad corresponde a funciones concretas, en cada caso, así como a
implementaciones en cada una de las tecnologías que pueden representar funciones lógicas en binario, como
las puertas lógicas o los circuitos de conmutación. Se entenderá como verdad la conexión que da paso a la
corriente; en caso contrario se entenderá como falso.



El primer caso en una función lógica
que para todas las posibles
combinaciones de A y B, el resultado
siempre es verdadero, es un caso
detautología, su implementación en un
circuito es una conexión fija.
Lógica de circuitos




Una aplicación importante de las tablas de verdad procede del hecho de que, interpretando los valores lógicos
de verdad como 1 y 0 (lógica positiva) en el sentido que

   valor "1" permite el paso de corriente eléctrica; y
   valor "0" corta el paso de dicha corriente.
Los valores de entrada o no entrada de corriente a través de un diodo pueden producir una salida 0 ó 1 según
las condiciones definidas como función según las tablas mostradas anteriormente.

Así se establecen las algunas funciones básicas: AND, NAND, OR, NOR, XOR, XNOR (o NXOR), que se
corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7 respectivamente, y la función NOT.

En lugar de variables proposicionales, considerando las posibles entradas como EA y EB, podemos armar una
tabla análoga de 16 funciones como la presentada arriba, con sus equivalentes en lógica de circuitos.

Más contenido relacionado

La actualidad más candente

Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanaSheda17
 
Algebra Booleana Lógica Matemática
Algebra Booleana Lógica MatemáticaAlgebra Booleana Lógica Matemática
Algebra Booleana Lógica Matemáticaseder23
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwaremaria_amanta
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareMariel Nuñez
 
Algebra Booleana y lógica digital
Algebra Booleana y lógica digitalAlgebra Booleana y lógica digital
Algebra Booleana y lógica digitalGeorge Nurkso
 
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...SANTIAGO PABLO ALBERTO
 
Electronica digital 4ºeso
Electronica digital 4ºeso Electronica digital 4ºeso
Electronica digital 4ºeso castilop
 
Teoremas Booleanos
Teoremas BooleanosTeoremas Booleanos
Teoremas BooleanosWendy Diaz
 
Algebra de boole libro
Algebra  de   boole  libroAlgebra  de   boole  libro
Algebra de boole libro1971karlos
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanajesusmora18
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.raymel-2411
 
2.1.principiosde electrnicadigital
2.1.principiosde electrnicadigital2.1.principiosde electrnicadigital
2.1.principiosde electrnicadigitalfabocf
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicosdukefirula
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanaAlex Paz
 

La actualidad más candente (19)

Álgebra Booleana.
Álgebra Booleana.Álgebra Booleana.
Álgebra Booleana.
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra Booleana Lógica Matemática
Algebra Booleana Lógica MatemáticaAlgebra Booleana Lógica Matemática
Algebra Booleana Lógica Matemática
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
 
Algebra Booleana y lógica digital
Algebra Booleana y lógica digitalAlgebra Booleana y lógica digital
Algebra Booleana y lógica digital
 
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
Electrónica digital: Tema 2 Representación y tratamiento de los sistemas digi...
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Teorema booleanos
Teorema booleanosTeorema booleanos
Teorema booleanos
 
Electronica digital 4ºeso
Electronica digital 4ºeso Electronica digital 4ºeso
Electronica digital 4ºeso
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Teoremas Booleanos
Teoremas BooleanosTeoremas Booleanos
Teoremas Booleanos
 
Algebra de boole libro
Algebra  de   boole  libroAlgebra  de   boole  libro
Algebra de boole libro
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.
 
2.1.principiosde electrnicadigital
2.1.principiosde electrnicadigital2.1.principiosde electrnicadigital
2.1.principiosde electrnicadigital
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicos
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 

Destacado

Meryescalona
MeryescalonaMeryescalona
Meryescalonameryej
 
Los mapas conceptuales
Los mapas conceptualesLos mapas conceptuales
Los mapas conceptualesyuliana572
 
Sociedad de la información y del conocimiento
Sociedad de la información y del conocimiento Sociedad de la información y del conocimiento
Sociedad de la información y del conocimiento WendYesenia
 
Sociedad de la Información y Conocimiento
Sociedad de la Información y ConocimientoSociedad de la Información y Conocimiento
Sociedad de la Información y ConocimientoAmoreBis
 
Correo electronico
Correo electronicoCorreo electronico
Correo electronicoLALOCNE
 
Carrera de Profesional Técnico Bachiiler en Curtiduría
Carrera de Profesional Técnico Bachiiler en CurtiduríaCarrera de Profesional Técnico Bachiiler en Curtiduría
Carrera de Profesional Técnico Bachiiler en CurtiduríaR. Tex
 

Destacado (8)

Meryescalona
MeryescalonaMeryescalona
Meryescalona
 
Unidad II
Unidad IIUnidad II
Unidad II
 
Blogs1
Blogs1Blogs1
Blogs1
 
Los mapas conceptuales
Los mapas conceptualesLos mapas conceptuales
Los mapas conceptuales
 
Sociedad de la información y del conocimiento
Sociedad de la información y del conocimiento Sociedad de la información y del conocimiento
Sociedad de la información y del conocimiento
 
Sociedad de la Información y Conocimiento
Sociedad de la Información y ConocimientoSociedad de la Información y Conocimiento
Sociedad de la Información y Conocimiento
 
Correo electronico
Correo electronicoCorreo electronico
Correo electronico
 
Carrera de Profesional Técnico Bachiiler en Curtiduría
Carrera de Profesional Técnico Bachiiler en CurtiduríaCarrera de Profesional Técnico Bachiiler en Curtiduría
Carrera de Profesional Técnico Bachiiler en Curtiduría
 

Similar a Instituto universitario tengnologico

Algebra boole
Algebra booleAlgebra boole
Algebra booledivadlfc
 
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_booleTema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_boolehacaveks
 
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....AnaBarbaraAlaveFlore
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosJesus Olivier Pereira
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanabrayer1
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezexdrago23
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezangelesvillanueva
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de booleDiego Tapia
 
Algebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicasAlgebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicasPPJJK
 

Similar a Instituto universitario tengnologico (20)

Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Algebra boole
Algebra boole Algebra boole
Algebra boole
 
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_booleTema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
 
Función lógica
Función lógicaFunción lógica
Función lógica
 
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Electronica digital
Electronica digitalElectronica digital
Electronica digital
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatorios
 
tema 01 sistemas digitales
tema 01 sistemas digitalestema 01 sistemas digitales
tema 01 sistemas digitales
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
LOGICA BINARIA
LOGICA BINARIALOGICA BINARIA
LOGICA BINARIA
 
Pia tc
Pia tcPia tc
Pia tc
 
Pia tc
Pia tcPia tc
Pia tc
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalez
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalez
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Tema3
Tema3Tema3
Tema3
 
Algebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicasAlgebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicas
 

Instituto universitario tengnologico

  • 1. INSTITUTO UNIVERSITARIO TENGNOLOGICO ANTONIO JOSE DE SUCRE EXTENCION-BARQUISIMETO Importancia de los Circuitos del algebra de boole y compuertas lógicas. MAIRA MONTES DE OCA 23.487.111
  • 2. En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa. Una Función lógica que está compuesta por operador lógico puede ser expresada en forma canónica usando los conceptos de minterm y maxterms. Todas las funciones lógicas son expresables en forma canónica, tanto como una "suma de maxterms" como "producto de maxterms". Esto permite un mejor análisis para la simplificación de dichas funciones, lo que es de gran importancia para la minimización de circuitos digitales. Una función booleana expresada como una disyunción lógica (OR) de maxterms es usualmente conocida la "suma de productos", y su Dual de Morgan es el "producto de sumas", la cual es una función expresada como una conjunción lógica (AND) de maxterms. En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los valores binarios 0 ó 1 ("falso" o "verdadero", respectivamente), y cuyo condominio son ambos valores 0 y 1. Formalmente, son las funciones de la forma ƒ: Bn → B, donde B = {0,1} y n un entero no negativo correspondiente a la aridad de la función. Modo de presentación: Existen distintas formas de representar una función lógica, entre las que podemos destacar las siguientes:  Algebraica  Por tabla de verdad  Numérica  Gráfica Algebraica Se utiliza cuando se realizan operaciones algebraicas. A continuación se ofrece un ejemplo con distintas formas en las que se puede expresar algebraicamente una misma función de tres variables. a) F = [(A + BC’)’ + ABC]’ + AB’C b) F = A’BC’ + AB’C’ + AB’C + ABC’ c) F = (A + B + C)(A + B + C’)(A + B’ + C’)(A’ + B’ + C’) d) F = BC’ + AB’ e) F = (A + B)(B’ + C’) f) F = [(BC’)’(CB)´ (AB’)’]’ g) F = [(A + B)’ + (B’ + C’)’]’ La expresión a) puede proceder de un problema lógico planteado o del paso de unas especificaciones a lenguaje algebraico. Las formas b) y c) reciben el nombre expresiones canónicas: de suma de productos (sum-of- productos, SOP, en inglés), la b), y de productos de sumas (product-of-sums, POS, en inglés), la c); su
  • 3. característica principal es la aparición de cada una de las variables (A, B y C) en cada uno de los sumandos o productos. Las d) y e) son funciones simplificadas, esto es, reducidas a su mínima expresión. [Por tabla de verdad Una tabla de verdad contiene todos los valores posibles de una función lógica dependiendo del valor de sus variables. El número de combinaciones posibles para una función de n variables vendrá dado por 2 n. Una función lógica puede representarse algebraicamente de distintas formas como acabamos de ver, pero sólo tiene una tabla de verdad. La siguiente tabla corresponde a la función lógica del punto anterior. La forma más cómoda para ver la equivalencia entre una tabla de verdad y una expresión algebraica es cuando esta última se da en su forma canónica. Así, la función canónica de suma de productos (o forma canónica disyuntiva) F = A’BC’ + AB’C’ + AB’C + ABC’ nos indica que será 1 cuando lo sea uno de sus sumandos, lo que significa que tendrá por lo tanto cuatro combinaciones que lo serán (010 para A’BC’, 100 para AB’C’, 101 para AB’C y 110 para ABC’) siendo el resto de combinaciones 0. Con la función canónica de producto de sumas (o forma canónica conjuntiva) se puede razonar de forma análoga, pero en este caso observando que la función será 0 cuando lo sea uno de sus productos. También es fácil obtener la tabla de verdad a partir de la función simplificada, pero no así a la inversa. Numérica La representación numérica es una forma simplificada de representar las expresiones canónicas. Si consideramos el criterio de sustituir una variable sin negar por un 1 y una negada por un 0, podremos representar el término, ya sea una suma o un producto, por un número decimal equivalente al valor binario de la combinación. Por ejemplo, los siguientes términos canónicos se representarán del siguiente modo (observe que se toma el orden de A a D como de mayor a menor peso): AB’CD = 10112 = 1110 A’ + B + C’ + D’ = 01002 = 410
  • 4. Para representar una función canónica en suma de productos utilizaremos el símbolo Σ n (sigma) y en producto de sumas Πn (pi), donde n indicará el número de variables. Así, la representación numérica correspondiente a la tabla de verdad del punto anterior quedará como: F = Σ3(2, 4, 5, 6) = Π3(0, 1, 3, 7) Matemáticamente se demuestra, que para todo término i de una función, se cumple la siguiente ecuación: F = [Σn(i)]' = Πn(2n-1-i ) A modo de ejemplo se puede utilizar esta igualdad para obtener el producto de sumas a partir de la suma de productos del ejemplo anterior: F = Σ3(2, 4, 5, 6) = [Σ3(2, 4, 5, 6)]' ' = [Σ3(0, 1, 3, 7)]' = Π3(0, 1, 3, 7) Gráfica La representación gráfica es la que se utiliza en circuitos y esquemas electrónicos. En la siguiente figura se representan gráficamente dos funciones algebraicas, una con símbolos no normalizados, superior, y la otra con normalizados, inferior (véanse los símbolos de las puertas lógicas) Conjunción lógica
  • 5. AND Compuerta lógica. Una conjunción lógica (comúnmente simbolizada como Y o ) es, en lógica y matemáticas, un operador lógico que resulta en verdadero si los dos operadores son verdaderos. Conjunción es un «enunciado con dos o más elementos simultáneos». Una lámpara eléctrica se enciende si hay corriente eléctrica, el interruptor está conectado, el fusible está bien y la lámpara no está fundida, en cualquier otro caso la lámpara no se encenderá. Para dos entradas A y B, la tabla de verdad de la función conjunción es: Desarrollo del algoritmo fundamental en lógica de circuitos La definición de la tabla de verdad corresponde a funciones concretas, en cada caso, así como a implementaciones en cada una de las tecnologías que pueden representar funciones lógicas en binario, como las puertas lógicas o los circuitos de conmutación. Se entenderá como verdad la conexión que da paso a la corriente; en caso contrario se entenderá como falso. El primer caso en una función lógica que para todas las posibles combinaciones de A y B, el resultado siempre es verdadero, es un caso detautología, su implementación en un circuito es una conexión fija.
  • 6. Lógica de circuitos Una aplicación importante de las tablas de verdad procede del hecho de que, interpretando los valores lógicos de verdad como 1 y 0 (lógica positiva) en el sentido que  valor "1" permite el paso de corriente eléctrica; y  valor "0" corta el paso de dicha corriente. Los valores de entrada o no entrada de corriente a través de un diodo pueden producir una salida 0 ó 1 según las condiciones definidas como función según las tablas mostradas anteriormente. Así se establecen las algunas funciones básicas: AND, NAND, OR, NOR, XOR, XNOR (o NXOR), que se corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7 respectivamente, y la función NOT. En lugar de variables proposicionales, considerando las posibles entradas como EA y EB, podemos armar una tabla análoga de 16 funciones como la presentada arriba, con sus equivalentes en lógica de circuitos.