República bolivariana de Venezuela

Ministerio del Poder Popular para la Educación Superior

Universidad Politécnica Territorial de Caracas “Mariscal Sucre”

Asignatura: Matemática

Sección: 7103

Trayecto 1

Circuitos
Logicos

Profesor: Integrantes:

Gerardo Paredes

Franyer Zarraga

Daniel

Jerry

Caracas 2023
 Circuitos Logicos

Un circuito digital (también, circuito lógico) es aquel que maneja la información en forma
binaria, es decir, con valores de "1" y "0".

Estos dos niveles lógicos de voltaje fijos representan:

"1" nivel alto o "high".

"0" nivel bajo o "low".

En el circuito lógico digital existe transmisión de información binaria entre sus circuitos. En
primera instancia esto parece relativamente simple, pero los circuitos electrónicos son
bastante complejos ya que su estructura está compuesta por un número muy grande de
circuitos simples, donde todos deben funcionar de la manera correcta para lograr el
resultado esperado y no obtener una información errónea.

La información binaria que transmiten los circuitos ya mencionados, se representan de la

siguiente forma:

- "0" o "1"

- "Falso" o "Verdadero"

- "On" o "Off"

- "Abierto" o "Cerrado"

- o cualquier mecanismo que represente dos estados mutuamente excluyentes

¿Cuántos tipos de circuito lógico existen?

Existen dos tipos de circuitos lógicos involucrados en el diseño de un sistema digital:

circuitos de combinación y circuitos secuenciales.

Circuitos de combinación.

Un circuito de combinación consiste en compuertas lógicas cuyas salidas en cualquier

momento son determinadas por la combinación de los valores de las entradas aplicadas
mediante operaciones lógicas. El circuito de combinación efectúa una operación que
puede especificarse lógicamente por medio de un grupo de expresiones booleanas.

Para n variables de entrada hay 2^n combinaciones binarias de entrada posibles. Para cada

combinación binaria de las variables de entrada, hay un valor binario posible en cada
entrada. Por tanto, puede especificarse un circuito de combinación mediante una tabla de
verdad que liste los valores de salida para cada combinación de variables de entrada. Un
circuito de combinación también puede describirse mediante m funciones booleanas, una
para cada variable de salida. Cada una de tales expresiones se presenta como función de
las n variables de entrada.

Circuitos secuenciales.

Además de compuertas lógicas, los circuitos secuenciales se valen de elementos que

almacenan bits (elementos de memoria). Las salidas de los circuitos secuenciales son
funciones de las entradas y de los bits de los elementos de almacenamiento. La
información binaria almacenada en dichos elementos, en cualquier momento define el
estado del circuito secuencial (estado actual). Los valores de salida, a su vez, son funciones
de valores de entrada previamente almacenados. En consecuencia, las salidas de un
circuito secuencial dependen no sólo de los valores actuales de las entradas, sino también
de las entradas anteriores; en otras palabras, el comportamiento de un circuito secuencial
lo determinan las entradas, salidas y el estado actual del circuito.

Considerando que, las salidas y el siguiente estado están en función de las entradas y el
estado actual, el análisis de un circuito secuencial consiste en obtener una descripción
adecuada que demuestre la secuencia de tiempos de las entradas, salidas y estados.

Conjunto de partes de boole

El conjunto de partes de un conjunto X es siempre un álgebra de Boole completa. Un

ejemplo menos obvio es tomar el álgebra de Boole Reg(X) de un espacio topológico. El
siguiente resultado da una caracterización de las álgebras de Boole que son isomorfas al
álgebra de Boole del conjunto de partes de un conjunto.
Conjunto de circuitos finitos

Una máquina de estados se denomina máquina de estados finitos (FSM por finite state
machine) si el conjunto de estados de la máquina es finito y es el único tipo de máquinas
de estados que podemos modelar en un computador en la actualidad. Debido a esto se
suelen utilizar los términos «máquina de estados» y «máquina de estados finitos» de forma
intercambiable. Sin embargo un ejemplo de una máquina de estados infinitos sería un
computador cuántico. Esto se debe a que los cúbit que utilizaría este tipo de
computadores toma valores continuos. En contraposición los bits toman valores discretos
(0 o 1). Otro ejemplo de una máquina de estados infinitos es una máquina universal de
Turing, la cual se puede definir teóricamente con una cinta o memoria infinita.

La representación de una máquina de estados se realiza mediante un diagrama de estados.

Sin embargo también es posible utilizar un diagrama de flujo.

Es posible clasificar las máquinas de estados en aceptoras o transductoras:

Aceptoras (también llamadas reconocedoras o discriminadoras).- Son aquellas en donde la

salida es binaria (sí-no), depende únicamente del estado y existe un estado inicial. Puede
decirse, entonces, que cuando la máquina produce una salida positiva (es decir, un si) es
porque ha reconocido o aceptado la secuencia de entrada. En las máquinas de estados
aceptoras, los estados con salida positiva se denominan estados finales.

Transductoras.- Son las más generales. Convierten una secuencia de señales de entrada en
una secuencia de salida, pudiendo esta ser binaria o más compleja, según la entrada actual
(no solo del estado) y pudiendo también prescindirse de un estado inicial.

Que entendemos por relación entre conjuntos

Las relaciones de conjuntos suceden cuando existen ciertos conjuntos que tiene algo en
común y que cumplen una propiedad específica en común o como también puede ser por
el número de elementos que pueden tener los conjuntos que queremos comprar. La
relación de conjuntos no es mas que una comparación entre conjuntos según las
cualidades que le asignemos, si es que existen.
Relación de pertenencia

Si un elemento está en un conjunto, se dice que pertenece al conjunto y en este caso

usamos el símbolo ∈ para mostrar esta relación. Si un elemento no está en un conjunto, se
dice que no pertenece al conjunto y en este caso usamos el símbolo ∈/ para mostrar esta
relación.

https://es.khanacademy.org/math/aritmetica-pe-pre-u/xce51e392da300f11:relaciones-
logicas-y-conjuntos/xce51e392da300f11:nocion-y-determinacion-de-conjuntos/a/141-
nocin-y-determinacin-de-conjuntos#:~:text=Relaci%C3%B3n%20de
%20pertenencia&text=Si%20un%20elemento%20est%C3%A1%20en,%E2%88%88%2F
%20para%20mostrar%20esta%20relaci%C3%B3n.

Daniel copia de esta pagina