Maestra en Ingeniera Electrnica

Curso propedutico Describiendo ecuaciones lgicas Sistemas Digitales M.C. Ricardo lvarez Gonzlez

Funciones binarias de valores binarios

Consideremos un conjunto de variables lgicas, cada una de las cuales puede tener solo dos valores: True False (T F). En diseo digital estamos interesados en la combinacin de variables lgicas (usando AND, OR y NOT) para producir nuevas variables que tambin solo tengan dos valores posibles: T F

Tablas de Verdad

Listamos todas las posibles combinaciones de los valores de las variables en orden numrico binario, Una tabulacin en esta forma estndar es llamada Tabla de verdad Cannica.

Tablas de Verdad

La tabla de verdad cannica, para la funcin X de tres variables la podemos expresar por un vector de 8 elementos: X(A,C,B)=(0,1,1,0,1,0,0,0)

Operador lgico not

A 0 1 NOT A 1 0

Si PDE es una variable lgica, entonces NOT PDE=/PDE Debido a que A solo tiene dos valores 1 y 0, NOT A tiene tambin dos valores: 1 y 0. Recordar que 1 y 0 representan TRUE y FALSE

Operador lgico AND

Representamos el operador lgico AND, por un punto que separa dos variables lgicas, escribimos B AND C, como B.C Algunos autores omiten el punto, si usramos nombres de variables de una sola letra, podramos interpretar BC como B.C Esto es peligroso, porque si queremos nombrar una variable lgica con el nombre de dos letras BC. En diseo lgico real, los nombres de una sola letra no son suficientemente expresivos, adems solo contamos con 26 letras del alfabeto y un diseo lgico podra requerir mas de 26 variables

Operador lgico AND

B 0 0 1 1 C 0 1 0 1 B.C 0 0 0 1

Podemos generalizar que el operador AND puede interactuar con mas de dos variables. La operacin lgica AND de varias variables, solo es verdadera cuando todas las variables son simultneamente verdaderas.

Operador lgico OR
El smbolo de la operacin lgica OR es el signo +. No Confundir esto con el uso del signo + que en otros contextos representa la adicin aritmtica. A es verdadero si B C es verdadero: A=B+C B 0 0 1 1 C 0 1 0 1 B+C 0 1 1 1

Igual que el operador lgico AND, podemos generalizar la definicin de la lgica OR a mas de dos variables: La salida es verdadera si al menos una de las entradas es verdadera

Funcin OR de tres variables

AY 0 0 0 0 1 1 1 1 PDE 0 0 1 1 0 0 1 1 X 0 1 0 1 0 1 0 1 AY+PDE+X 0 1 1 1 1 1 1 1

Elementos de lgebra booleana

El lgebra booleana es importante para los diseadores de hardware porque nos permite compactar especificacin y simplificar frmulas lgicas. Los dispositivos fsicos pueden ejecutar las funciones AND y OR Asumiremos como punto de arranque la existencia de dos valores binarios TRUE (T 1) y FALSE (F 0) y los tres operadores AND, OR y NOT, con el comportamiento descrito por sus tablas de verdad. La jerarqua convencional de accin de los operadores en expresiones complejas es: Primera: NOT Despus : AND ltima: OR

Convenciones de las expresiones algebraicas

Conmutativa: Asociativa: Distributiva: Distributiva: A+B=B+A A+(B+C)=(A+B)+C A.(B+C)=A.B+A.C A+(B.C)=(A+B).(A+C)

Relaciones fundamentales del lgebra booleana

El principio de dualidad es una caracterstica del lgebra booleana, y tiene aplicaciones importantes en el estudio de la lgica y en la implementacin de funciones lgicas con dispositivos fsicos.

Regla de aplicacin de la dualidad en las identidades booleanas

Cambiar cada AND a OR, cada OR a AND, cambiar cada T a F y cada F a T. La ecuacin 1.6 es la bien conocida Ley de DMorgan, es de especial importancia, ya que nos permite convertir operadores Booleanos de AND a OR y viceversa. Se puede probar cada una de las identidades usando las tablas de verdad de los operadores lgicos.

Identidades del lgebra booleana

Ecuaciones de tablas de verdad Forma de suma de productos

Forma suma de productos y mintrminos.

En la forma suma de productos , un trmino producto consiste de la lgica AND de un conjunto de operandos , cada uno de los cuales es una variable lgica su negacin. Un trmino producto que contiene exactamente una ocurrencia de cada variable (acertada negada) se llama un mintrmino un trmino producto cannico Una funcin expresada como una OR de distintos mintrminos a partir de la tabla de verdad cannica, se dice que est expresada en la forma de suma de productos cannica.

Como obtener la forma suma de productos a partir de la tabla de verdad cannica:

Escriba la funcin OR de los minterminos para los cuales la funcin es verdadera

Suma de productos del complemento de la funcin

Similarmente, para derivar la forma suma de productos del complemento de una funcin de una tabla de verdad cannica: Escribir la funcin OR de los minterminos para los cuales la funcin es falsa

Producto de sumas
Esta forma consiste de la funcin AND (producto) de un conjunto de trminos OR (las sumas) Un trmino suma que contiene exactamente una ocurrencia de cada variable ( asertada o negada) es llamado un maxtermino o termino suma cannico. Para obtener la forma de producto de sumas de una funcin, a partir de la tabla de verdad cannica, escriba la funcin AND (producto) de cada maxtermino para el cual la funcin es falsa.

Esta forma no se usa mucho, debido a que es relativamente contraria a nuestra forma de pensamiento

Similarmente, para derivar una forma producto de sumas para el complemento de una funcin, se debe escribir la funcin AND para cada maxtrmino para el cual la funcin es verdadera

Se puede simplificar esta expresin para obtener:

Bibliografia
The art of digital design An introduction to top down design Second edition Prosser, Winkel