PROTEUS

LGICA DIGITAL Y USOS ESPECIFICOS

1. ALGEBRA DE BOOLE
Leyes De Morgan Es importante insistir que el lgebra de Boole es la estructura algebraica de la lgica de enunciados. En efecto, si se reemplazan las variables a, b, c, por variables proposicionales, la suma y el producto por la disyuncin y la conjuncin respectivamente, el complemento por la negacin, la igualdad por el bicondicional, y 1 y 0 por V y F respectivamente, todos los axiomas y teoremas del lgebra de Boole se transforman en axiomas o teoremas de la lgica de enunciados. Por ejemplo: a * (b + c) = (a * b) + (a * c) p (q r) (p q) (p r) a+a=a ppp a + (a * b) = a p (p q) p a*b=a+b (p q) p q

2. CONECTORES LGICOS
En lgica, una conectiva lgica, o simplemente conectiva, es un smbolo que se utiliza para conectar dos frmulas, de modo que el valor de verdad de la frmula compuesta dependa del valor de verdad de las frmulas componentes. En programacin se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. Las conectivas lgicas son, junto con los cuantificadores, las principales constantes lgicas de muchos sistemas lgicos, principalmente la lgica proposicional y la lgica de predicados.

2. CONECTORES LGICOS
Conectiva Notacin Ejemplo de uso Anlogo natural Ejemplo de uso en el lenguaje natural Tabla de verdad

Negacin

no

No est lloviendo. Est lloviendo y es de noche.

Conjuncin

Disyuncin

Est lloviendo o es de noche.

Condicional material

si... entonces

Si est lloviendo, entonces es de noche.

Bicondicional

si y slo si

Est lloviendo si y slo si es de noche.

Negacin conjunta

ni... ni

Ni est lloviendo ni es de noche.

Disyuncin excluyente]

o bien... o bien

O bien est lloviendo, o bien es de noche.

3. CIRCUITOS LGICOS
Un circuito lgico es un dispositivo que tienen una o ms entradas y exactamente una salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por el circuito para dar un valor en su salida, 0 o 1. Los valores 0 y 1 pueden representar ciertas situaciones fsicas como, por ejemplo, un voltaje nulo y no nulo en un conductor.

Los circuitos lgicos se construyen a partir de ciertos circuitos elementales denominados compuertas lgicas, entre las cuales diferenciaremos: Compuertas lgicas bsicas: OR, AND, NOT. Compuertas lgicas derivadas: NOR, NAND.

3. CIRCUITOS LGICOS
El valor de verdad de una proposicin puede asociarse con interruptores que controlan el paso de la corriente. As si una proposicin es verdadera, el interruptor estar cerrado y la corriente pasar. Si la proposicin es falsa, el interruptor estar abierto y la corriente no pasar. CLASE DE CIRCUITOS:

3. CIRCUITOS LGICOS

COMPUERTA LGICA
Una puerta lgica, o compuerta lgica, es un dispositivo electrnico el cual es la expresin fsica de un operador booleano en la lgica de conmutacin. Cada puerta lgica consiste en una red de dispositivos interruptores que cumple las condiciones booleanas para el operador particular. Son esencialmente circuitos de conmutacin integrados en un chip. La tecnologa microelectrnica actual permite la elevada integracin de transistores actuando como conmutadores en redes lgicas dentro de un pequeo circuito integrado. El chip de la CPU es una de las mximas expresiones de este avance tecnolgico. En nanotecnologa se est desarrollando el uso de una compuerta lgica molecular, que haga posible la miniaturizacin de circuitos.

2.2 Compuerta OR
En una compuerta OR con entradas A y B, la salida Y resulta: Y=A+B donde la suma se define por la siguiente tabla:

donde la salida Y=A+B+C+D puede obtenerse asociando los sumandos: Y=A+B+C+D=(A+B)+(C+D)=((A+B)+C)+D

2.3 Compuerta AND

En una compuerta AND con entradas A y B, la salida Y resulta: Y=AB donde el producto se define por la siguiente tabla:

donde la salida Y=A*B*C*D puede obtenerse asociando los factores: Y=ABCD=(AB)(CD)=((AB)C)D

2.4 Compuerta NOT

En una compuerta NOT con entrada A, la salida Y resulta: Y=A donde el complemento se define por la siguiente tabla:

2.5 Compuertas NOR y NAND

Las compuertas NOR y NAND no son bsicas. Una compuerta NOR equivale a una compuerta OR seguida de una compuerta NOT. Una compuerta NAND equivale a una compuerta AND seguida de una compuerta NOT.

Por lo tanto, cuando las entradas son A y B, las salidas de estas compuertas resultan: NOR: Y=A+B NAND: Y=AB

PROTEUS
Proteus es una compilacin de programas de diseo y simulacin electrnica, desarrollado por Labcenter Electronics que consta de los dos programas principales: Ares e Isis, y los mdulos VSM y Electra

PROTEUS - Herramientas
ISIS El Programa ISIS, Intelligent Schematic Input System (Sistema de Enrutado de Esquemas Inteligente) permite disear el plano elctrico del circuito que se desea realizar con componentes muy variados, desde simples resistencias, hasta alguno que otro microprocesador o microcontrolador, incluyendo fuentes de alimentacin, generadores de seales y muchos otros componentes con prestaciones diferentes. Los diseos realizados en Isis pueden ser simulados en tiempo real, mediante el mdulo VSM, asociado directamente con ISIS. ARES ARES, o Advanced Routing and Editing Software (Software de Edicin y Ruteo Avanzado); es la herramienta de enrutado, ubicacin y edicin de componentes, se utiliza para la fabricacin de placas de circuito impreso, permitiendo editar generalmente, las capas superficial (Top Copper), y de soldadura (Bottom Copper).

PROTEUS - Herramientas
El mdulo VSM Una de las prestaciones de Proteus, integrada con ISIS, es VSM, el Virtual System Modeling (Sistema Virtual de Modelado), una extensin integrada con ISIS, con la cual se puede simular, en tiempo real, con posibilidad de ms rapidez; todas las caractersticas de varias familias de microcontroladores, introduciendo nosotros mismos el programa que controlar el microcontrolador y cada una de sus salidas, y a la vez, simulando las tareas que queramos que lleve a cabo con el programa. Se pueden simular circuitos con microcontroladores conectados a distintos dispositivos, como motores, lcds, teclados en matriz, etc. Incluye, entre otras, las familias de PIC's PIC10, PIC12, PIC16, PIC18, PIC24 y dsPIC33. ISIS es el corazn del entorno integrado PROTEUS. Combina un entorno de diseo de una potencia excepcional con una enorme capacidad de controlar la apariencia final de los dibujos.

PROTEUS - Circuitos lgicos

Los circuitos lgicos se forman combinando compuertas lgicas. La salida de un circuito lgico se obtiene combinando las tablas correspondientes a sus compuertas componentes. Por ejemplo:

Es fcil notar que las tablas correspondientes a las compuertas OR, AND y NOT son respectivamente idnticas a las tablas de verdad de la disyuncin, la conjuncin y la negacin en la lgica de enunciados, donde slo se ha cambiado V y F por 0 y 1. Por lo tanto, los circuitos lgicos, de los cuales tales compuertas son elementos, forman un lgebra de Boole al igual que los enunciados de la lgica de enunciados.