EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 1

Sistema Binario

Sistema Binario

Historia
George Boole [1815, 1864], fue un matemtico y filsofo ingles. Inventor del lgebra de Boole, la base de la aritmtica computacional moderna. Boole contribuy con 22 artculos. A esta lista se debera aadir un trabajo en la lgica bsica matemtica, publicado en la Mechanic's Magazine de 1848. Slo dos tratados sistemticos en materias matemticas fueron completados por Boole durante su vida.
El bien conocido Tratado sobre Ecuaciones Diferenciales aparecido en 1859, y al ao siguiente, El Tratado sobre los Clculos de Diferenciales Finitas, diseado como continuacin del anterior.

Sistema Binario

EL - 3307 Diseo Lgico

George Boole 1815-1864

Ing. Jos Alberto Daz Garca

Pgina 2

Lgica matemtica
La lgica matemtica es un campo de las matemticas que estudia los sistemas formales (compuesto de smbolos que se unen entre s formando cadenas que a su vez pueden ser manipuladas segn reglas para producir otras cadenas, el sistema formal es capaz de representar cierto aspecto de la realidad) en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y clculos. La lgica matemtica suele dividirse en cuatro:
Teora Teora Teora Teora de de de de modelos la demostracin conjuntos la recursin.

Sistema Binario
EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 3

La lgica matemtica fue tambin llamada lgica simblica, en oposicin a la lgica filosfica, y metamatemticas. La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.

Teora de Conjuntos
La teora de conjuntos es una divisin de las matemticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemtico alemn George Cantor en el siglo XIX. El concepto de conjunto es intuitivo y podramos definirlo como una agrupacin de cosas hecha con cualquier criterio, as podemos hablar de un conjunto personas, de ciudades, de lapiceros, o del conjunto de objetos que hay en un momento dado encima de una mesa. Un conjunto esta bien definido si se sabe si un determinado elemento pertenece o no al conjunto, as el conjunto de los bolgrafos azules, esta bien definido, porque a la vista de un bolgrafo podemos saber si es azul o no. El conjunto de las personas altas no esta bien definido, porque a la vista de una persona, no siempre podr decir si es alta o no, o puede haber distintas personas, que opinen si esa persona es alta o no lo es.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 4

Sistema Binario

Diagramas de Venn
Venn introdujo el sistema de representacin que hoy conocemos con su nombre en su trabajo titulado "De la representacin mecnica y diagramtica de proposiciones y razonamientos. La publicacin provoc un cierto revuelo en el mundo de la lgica formal. Aunque la primera forma de representacin geomtrica de silogismos lgicos se atribuye comnmente a Leibniz, y fue luego ampliada por George Boole y Augustus De Morgan, el mtodo de Venn superaba en claridad y sencillez a los sistemas de representacin anteriores, hasta el punto de convertirse con el tiempo en un nuevo estndar. Ms adelante desarroll algo ms su nuevo mtodo en su libro "Lgica simblica", publicado en 1881 con el nimo de interpretar y corregir los trabajos de Boole en el campo de la lgica formal. Los diagramas de Venn se utilizan para hacer representaciones de relaciones lgicas. Los diagramas de Venn se emplean hoy da para ensear matemticas elementales y para reducir la lgica y la Teora de conjuntos al clculo simblico puro. Se suelen usar tambin en el aula diagramas de Venn de dos o tres conjuntos como herramienta de sntesis, para ayudar a los estudiantes a comparar y contrastar dos o tres de elementos.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 5

Sistema Binario

Diagramas de Venn
Los diagramas de Venn son ilustraciones usadas en la rama de las matemtica conocida como teora de conjuntos. Estos diagramas se usan para mostrar grficamente la relacin matemtica o lgica entre diferentes grupos de cosas (conjuntos), representando cada conjunto mediante un valo o crculo. La forma en que esos crculos se sobreponen entre s muestra todas las posibles relaciones lgicas entre los conjuntos que representan. Por ejemplo, cuando los crculos se superponen, indican la existencia de subconjuntos con algunas caractersticas comunes.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 6

Sistema Binario

Diagramas de Venn
Dependiendo de la cantidad de conjuntos los diagramas de Venn pueden tomar diferentes formas entre ellas se muestran las siguientes: Sistema Binario
EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 7

Algebra de Boole
Constantes boleanas:
Se definen dos: 0 (estado FALSO) y 1 (VERDADERO).

Sistema Binario
EL - 3307 Diseo Lgico

Variables boleanas:
Se refieren a los diferentes conjuntos que tenga el problema Son magnitudes que pueden tomar diferentes valores en diferentes momentos. Pueden representar seales de entrada o de salida Reciben nombres de caracteres alfabticos como: A, B, X, Y. Slo pueden tomar los valores 0 o 1. Se les llama variables lgicas o boleanas

Ing. Jos Alberto Daz Garca

Pgina 8

Funciones lgicas
Tambin se les llama funciones boleanas Relaciona la entrada con la salida de un circuito lgico. Describen el comportamiento del sistema. Relaciona las variables mediante operadores lgicos. Utilizando las variables boleanas se pueden contruir funciones boleanas F(x,y,z) la cual puede asumir dos estados:
verdadero falso

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 9

Sistema Binario

Operadores lgicos Los operadores lgicos que se pueden utilizar para realizar funciones lgicas son los operadores de la teora de conjuntos. Estos son:
Unin (), se refiere a la unin de todos los elementos de los diferentes conjuntos. Interseccin (), se refiere a los elementos en comn de las diferentes variables, o conjuntos Complemento (), se refiere a los elementos que le faltan al conjunto en cuestin para ser igual al conjunto universo.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 10

Sistema Binario

Las tablas de verdad son un recurso tabular que nos muestra los posibles estados de las entradas al sistema as como los diferentes estados de las salidas, tal como se muestra a continuacin.

Tablas de verdad

ENTRA DAS
MINTERMINO

SALI DAS B S CO

Sistema Binario

CI

0 1 2 3 4 5 6 7

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

0 1 1 0 1 0 0 1

0 0 0 1 0 1 1 1

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 11

Ejemplo
Cinco barcos (dos franceses, dos holandeses y un alemn) participan en la limpieza del combustible derramado por el Prestige. De los franceses uno recoge 10 Toneladas/hora y el otro slo 5 T/h. Cada uno de los holandeses recoge 7 T/h y el barco alemn 13 T/h. Espaa, aporta un carguero (que puede transportar hasta 25 T/h) para llevar el combustible recogido por estos barcos a puerto y que puedan seguir trabajando sin interrupcin. Los pescadores de la regin se han dado cuenta que si varios de los barcos van a la vez a descargar el combustible recogido, se puede superar el limite de absorcin del carguero lo que generara esperas y retrasos en las labores de limpieza. Como no quieren de ninguna manera que estos trabajos se detengan estn dispuestos mientras el gobierno no aporte mas medios a recoger ellos mismos el combustible sobrante, aunque sea en sus propias barcos. Apelando a la solidaridad de todos, solicitan que se les procure el diseo de una funcin lgica que avise cuando se vaya a producir esa situacin de atasco y as puedan actuar rpidamente.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 12

Sistema Binario

Solucin
Paso 1.
Asignar las variables lgicas. Denotando, por orden, los barcos como A, B, C, D y E. Entonces con la variable A representaremos uno de los barcos franceses, B el segundo barco francs, C un barco holands, D el otro barco holands y E el barco alemn. variables de entrada del problema son 5. Con cinco variables de entrada se pueden representar 32 diferentes condiciones. Adems aqu asignamos cual de las variables es la ms significativa, para este ejemplo la variable ms significativa es A (la de mayor peso) y la de menor peso es E. Anlisis. vemos que si se aproximan A y B descargaran 10+5 = 15T/h y no hay problema Mientras que si lo hacen A, C y E (10 + 7 + 13 = 30T/h) si lo hay pues se superan las 25T/h de capacidad del carguero. Asignacin de estados lgicos a las variables de entrada. Usando las letras de designacin como variables lgicas (A= 1 si el primer barco se acerca a descargar y A = 0 si no lo hace, lo mismo los dems barcos) podemos modelar esta actividad con una funcin lgica que valga 1 cuando se supere la capacidad del carguero y 0 si no se supera. En una tabla se muestran todas las posibles opciones que se pueden presentar en el problema. (yo lo hice en Excel)

Sistema Binario
EL - 3307 Diseo Lgico

Paso 2

Paso 3

Ing. Jos Alberto Daz Garca

Pgina 13

Paso 4

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 14

Sistema Binario

Solucin
En la siguiente tabla se muestran todas las posibles combinaciones entre barcos que se pueden presentar las cuales atascarn el cargador, por eso si alguna de stas se presenta se debe de encender una alarma.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 15

Sistema Binario

Modelo
El modelo corresponder a la unin de todas las posibles combinaciones de entrada esto es:
F ( A, B, C , D, E ) = (7,15,19,21,23,25,27,29,30,31)

Sistema Binario
EL - 3307 Diseo Lgico

El modelo se presenta como la unin de una cantidad de minterminos.

Ing. Jos Alberto Daz Garca

Pgina 16

Modelo
El modelo nos queda como:
F ( A, B, C , D, E ) = A B CDE + A BCDE + AB C DE + AB CD E + AB CDE + ABC D E

Sistema Binario

+ ABC DE + ABCD E + ABCDE + ABCDE

Esta es una funcin lgica que tomar el valor de 1 una vez que se presentan las condiciones de entrada que sobrepasarn la capacidad del carguero. La operacin de interseccin () se presenta con las condiciones de entrada. Por ejemplo ser necesario que no se presente ningn barco francs pero si los dos holandeses y el alemn para que el carguero entre en conflicto. De igual forma se presenta la unin () cuando para representar la funcin de salida se deben unir todas las posibles condiciones de entrada, en el modelo se representa con un +. El operador complemento se presenta cuando en las condiciones de entrada no se toma en cuenta el barco.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 17

Representacin de funciones lgicas

Los operadores lgicos se pueden implementar utilizando circuitos electrnicos. Los circuitos electrnicos que funcionan como operadores lgicos se llaman compuertas (gates).

Sistema Binario

Para la interseccin () se utilizan la compuertas AND. Para la unin () se utilizan las compuertas OR Para el complemento () se utilizan las compuertas NOT o inversores Estndar TTL LS en tecnologa TTL ALS ALVT AHC LV LVC ALVC LVT Etc.

Existen muchas tecnologas de fabricacin de estos circuitos electrnicos entre ellos:

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 18

Compuertas para lgica Booleana

AND Sistema Binario La compuerta AND opera como: si cualquiera de las entradas est apagada la salida se apaga. AND es como la interseccin
Tabla de comportamiento

AND 0 1

0 0 0

1 0 1

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 19

Compuertas para lgica Booleana

OR

La compuerta OR opera como: si cualquier Sistema Binario entrada est encendida la salida se encender. OR es como la unin
Tabla de comportameinto

OR 0 1

0 0 1

1 1 1

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 20

Compuertas para lgica Booleana

NOT (inversor) Sistema Binario Una compuerta NOT opera: si la entrada est encendida, la salida se apaga, y viceversa. NOT es lo opuesto a la entrada, es el complemento
Tabla de comportamiento

EL - 3307 Diseo Lgico

NOT

0 1

1 0

Ing. Jos Alberto Daz Garca

Pgina 21

Compuertas para lgica Booleana

NOR
La compuerta NOR es una combinacin de las compuertas

Sistema Binario

OR y NOT y no debe presentarse como una compuerta primaria. La compuerta NOR opera como: si cualquiera de las entradas esta encendida, la salida se apaga.

Tabla de verdad

NOR 0 1

0 1 0

1 0 0
Primero realiza la operacin OR, luego realiza la operacin NOT.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 22

Compuertas bsicas

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 23

Sistema Binario

Otras compuertas

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 24

Sistema Binario

Ms sobre compuertas
Sistema Binario
EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 25

Estndar par dibujar compuertas

Sistema Binario
EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 26

Ejemplos

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 27

Sistema Binario

Ejemplo

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 28

Sistema Binario

Circuitos electrnicos

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 29

Sistema Binario

Representacin de variables
Tambin es necesario representar las variables de entrada mediante electrnica. El estado de los interruptores definen los estados lgicos de las variables A y B.

Sistema Binario

DC

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 30

Representacin de las funciones de salida

Para representar los estados lgicos de las funciones de salida se utilizan LEDS o pantallas luminosas ya sean de siete segmentos o alfanumricas. En el caso de LED debemos saber si la funcin ser activa en nivel alto o nivel bajo.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 31

Sistema Binario

Representacin de funciones lgicas

Vcc Vcc Vcc B B A A C C Vcc Vcc D D E E

Sistema Binario

Vcc

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 32

Conclusiones
El circuito es muy complejo, porque tiene una gran diversidad de circuitos integrados:
Sistema Binario
Cantidad

Tipo
inversores
Compuertas AND de 5 entradas Compuertas OR de 5 entradas Compuerta OR de 2 entradas

Circuito integrado

Cantidad

5 10 2 1

7404 AND5 100301 7432

1 10 1 1

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 33

Ms conclusiones La diversidad de CI nos eleva el costo del circuito. Tenemos un problema de rea en el circuito impreso, son muchos los componentes. Tenemos un problema de potencia, son muchos los circuitos integrados y estos consumen potencia. Es necesario aprender a simplificar.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 34

Sistema Binario

Simplificacin de circuitos Como los circuitos lgicos son representaciones de funciones lgicas se pueden utilizar los recursos disponibles para simplificar las funciones lgicas, estas son:
Diagramas de Venn Algebra de Boole Mapas de Karnaugh Quine McCluskey

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Pgina 35

Sistema Binario