Sistema Binario

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 1

Sistema Binario

Sistema Binario

Historia

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 2

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.

George Boole
1815-1864

Sistema Binario

Lgica matemtica

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 3

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.

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.

Sistema Binario

Teora de Conjuntos

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 4

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.

Sistema Binario

Diagramas de Venn

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 5

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.

Sistema Binario

Diagramas de Venn

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 6

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.

Diagramas de Venn

Sistema Binario

Dependiendo de la cantidad de conjuntos los

diagramas de Venn pueden tomar diferentes
formas entre ellas se muestran las siguientes:

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 7

Algebra de Boole
Constantes boleanas:
Sistema Binario

Se definen dos: 0 (estado FALSO) y 1 (VERDADERO).

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 8

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

Sistema Binario

Funciones lgicas

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 9

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

Sistema Binario

Operadores lgicos

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 10

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.

Tablas de verdad

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.

SALI DAS

Sistema Binario

ENTRA DAS

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 11

MINTERMINO

CI

CO

Sistema Binario

Ejemplo

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 12

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.

Solucin

Sistema Binario

Paso 1.

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 13

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.

Paso 2

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.

Paso 3

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.

Paso 4

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

Ing. Jos Alberto

Daz Garca
Pgina 14

Sistema Binario

Solucin

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 15

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.

Sistema Binario

Modelo

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 16

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)

El modelo se presenta como la unin de

una cantidad de minterminos.

Modelo
El modelo nos queda como:

Sistema Binario

F ( A, B, C , D, E ) = A B CDE + A BCDE + AB C DE + AB CD E + AB CDE + ABC D E

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 17

+ 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.

Representacin de funciones lgicas

Sistema Binario

Los operadores lgicos se pueden implementar utilizando

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

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 18

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

Existen muchas tecnologas de fabricacin de estos circuitos

electrnicos entre ellos:

Estndar TTL
LS en tecnologa TTL
ALS
ALVT
AHC
LV
LVC
ALVC
LVT
Etc.

Compuertas para lgica Booleana

Sistema Binario

AND

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 19

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

Compuertas para lgica Booleana

OR

Sistema Binario

La compuerta OR opera como: si cualquier

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 20

entrada est encendida la salida se

Tabla de
comportameinto

encender.
OR es como la unin

OR

Compuertas para lgica Booleana

Sistema Binario

NOT (inversor)

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 21

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

NOT

Compuertas para lgica Booleana

NOR
Sistema Binario

La compuerta NOR es una combinacin de las compuertas

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 22

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

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

Sistema Binario

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

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 25

Sistema Binario

Estndar par dibujar

compuertas

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 26

Sistema Binario

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

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 30

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.

DC

Sistema Binario

Representacin de las funciones de salida

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 31

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.

Representacin de funciones lgicas

Vcc

Vcc

Sistema Binario

A A

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 32

Vcc

Vcc

Vcc
B B

D D
C C

E E

Vcc

Conclusiones

Sistema Binario

El circuito es muy complejo, porque tiene

una gran diversidad de circuitos integrados:

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 33

Tipo

Circuito
integrado

Cantidad

inversores

7404

10

Compuertas
AND de 5
entradas

AND5

10

Compuertas OR
de 5 entradas

100301

Compuerta OR
de 2 entradas

7432

Cantidad

Sistema Binario

Ms conclusiones

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 34

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.

Sistema Binario

Simplificacin de circuitos

EL - 3307
Diseo
Lgico

Ing. Jos Alberto

Daz Garca
Pgina 35

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