Universidad de Buenos Aires Facultad De Ingenier a

Operaciones L ogicas
[75.40] Algoritmos y Programaci on I 2do Cuatrimestre 2010
C atedra: Ing. Pablo Guarna

Autor: Bernardo Ortega Moncada

Apunte de Operaciones L ogicas

2do Cuatrimestre 2010

Indice
1. Introducci on 2. Que es una operaci on l ogica? 2.1. La operaci on AND . . . . . . 2.2. La operaci on OR . . . . . . . 2.3. La operacion NOT . . . . . . 2.4. La operaci on XOR o EXOR o 2.5. La operaci on NAND . . . . . 2.6. La operaci on NOR . . . . . . 2.7. La operaci on XNOR . . . . . 2 2 2 2 3 3 4 5 5 6 6 6 7 7 7

. . . . . . . . . . . . . . . . . . . . . . . . Exclusive OR . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

3. Leyes de De Morgan 3.1. Leyes de De Morgan para una NAND . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. Leyes de De Morgan para una NOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4. Conclusiones 5. Aclaraciones 6. Ejercicios

Autor: Bernardo Ortega Moncada

Apunte de Operaciones L ogicas

2do Cuatrimestre 2010

1.

Introducci on

Este apunte esta orientado para presentarles a los alumnos las distintas opciones de operaciones l ogicas que pueden utilizar en el lenguaje PASCAL (y en otros lenguajes tambi en)

2.

Que es una operaci on l ogica?

Una de las funciones de la Unidad Aritm etico L ogica (ALU), situada en el n ucleo del procesador es la de realizar las operaciones l ogicas con los datos contenidos en una instrucci on del programa. Pero, qu e es una operaci on l ogica?. Una operaci on l ogica asigna un valor (TRUE o FALSE) a la combinaci on de condiciones (TRUE o FALSE) de uno o m as factores (variables). Los factores o las variables que intervienen en una operaci on l ogica s olo pueden ser TRUE o FALSE. Y el resultado de una operaci on l ogica puede ser, tan s olo, TRUE o FALSE. Existen m ultiples operaciones l ogicas, algunas son resultado de combinar unas con otras, pero en este apunte nos vamos a limitar a ver las mas importantes. A continuaci on les voy a presentar las operaciones l ogicas que son las que se usan habitualmente.

2.1.

La operaci on AND

La operaci on AND consiste en una multiplicaci on l ogica, supongamos que tenemos una funci on l ogica f , que consiste en el producto l ogico (AND) de 2 variables A y B tal que: f (A, B ) = A B

Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos armar lo que se denomina, tabla de verdad para una funci on l ogica AND. Dicha tabla se expresa de la siguiente manera: A 0 0 1 1 B 0 1 0 1 f (A, B ) = A B 0 0 0 1

El equivalente en PASCAL de esta operaci on l ogica es:

Operaci on L ogica AND

1 VAR 2 3 4 BEGIN 5 6 7 8 9 10

A, B : BOOLEAN;

{ V e r i f i c a r como a c t u a e l IF , cuando A,B v a l e n True ( 1 ) / F a l s e ( 0 ) con t o d a s l a s c o m b i n a c i o n e s p o s i b l e s } IF (A and B) THEN W r i t e l n ( TRUE ) ELSE W r i t e l n ( FALSE )

2.2.

La operaci on OR

La operaci on OR consiste en una suma l ogica, supongamos que tenemos una funci on l ogica f , que consiste en la suma l ogica (OR) de 2 variables A y B tal que: f (A, B ) = A + B

Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos armar lo que se denomina, tabla de verdad para una funci on l ogica OR. Dicha tabla se expresa de la siguiente manera:

Autor: Bernardo Ortega Moncada

Apunte de Operaciones L ogicas

2do Cuatrimestre 2010

A 0 0 1 1

B 0 1 0 1

f (A, B ) = A + B 0 1 1 1

El equivalente en PASCAL de esta operaci on l ogica es:

Operaci on L ogica OR

1 VAR 2 3 4 BEGIN 5 6 7 8 9 10

A, B : BOOLEAN;

{ V e r i f i c a r como a c t u a e l IF , cuando A,B v a l e n True ( 1 ) / F a l s e ( 0 ) con t o d a s l a s c o m b i n a c i o n e s p o s i b l e s } IF (A o r B) THEN W r i t e l n ( TRUE ) ELSE W r i t e l n ( FALSE )

2.3.

La operacion NOT

La operaci on NOT, consiste en negar el estado de una variable, es decir, invertir el resultado l ogico que conten a la variable antes de aplicarle la negaci on l ogica, dicha funci on como bien mencione lineas atr as, solo sirve para una sola variable. Supongamos que tenemos una funci on l ogica f , que consiste en la negaci on l ogica (NOT) de una variable A tal que: f ( A) = A

Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos armar lo que se denomina, tabla de verdad para una funci on l ogica NOT. Dicha tabla se expresa de la siguiente manera: A 0 1 f (A) = A 1 0

El equivalente en PASCAL de esta operaci on l ogica es:

Operaci on L ogica NOT

1 VAR 2 3 4 BEGIN 5 6 7 8 9 10

A : BOOLEAN;

{ V e r i f i c a r como a c t u a e l IF , cuando A v a l e True ( 1 ) / F a l s e ( 0 ) con t o d a s l a s c o m b i n a c i o n e s p o s i b l e s } IF not (A) THEN W r i t e l n ( TRUE ) ELSE W r i t e l n ( FALSE )

2.4.

La operaci on XOR o EXOR o Exclusive OR

La operaci on XOR consiste en un negador en el cual la variable principal de dicha funci on se niega cuando la variable secundaria esta en TRUE, caso contrario, el valor de la variable principal de la funci on es el mismo. En resumen, esta operaci on l ogica consiste en un negador de 2 variables, en las cuales, una variable es la que se desea negar y la otra variable es la de control para la negaci on. Esta funci on consiste en sumar los productos entre variables, cuyo producto se caracteriza por tener variables de forma negada y no negada, altern andose unos con otros, para que sea mas claro,

Autor: Bernardo Ortega Moncada

Apunte de Operaciones L ogicas

2do Cuatrimestre 2010

supongamos que tenemos una funci on l ogica f , que consiste en la suma l ogica (XOR) de 2 variables A y B tal que: f (A, B ) = A B + A B = A B

Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos armar lo que se denomina, tabla de verdad para una funci on l ogica XOR. Dicha tabla se expresa de la siguiente manera: A 0 0 1 1 B 0 1 0 1 f (A, B ) = A B 0 1 1 0

Pueden apreciar que cuando la variable B esta en 1, el resultado de la operaci on es la negaci on de la variable A, caso contrario, el resultado de la operaci on es el valor de la variable A

El equivalente en PASCAL de esta operaci on l ogica es:

Operaci on L ogica XOR

1 VAR 2 3 4 BEGIN 5 6 7 8 9 10

A, B : BOOLEAN;

{ V e r i f i c a r como a c t u a e l IF , cuando A,B v a l e n True ( 1 ) / F a l s e ( 0 ) con t o d a s l a s c o m b i n a c i o n e s p o s i b l e s } IF (A xor B) THEN W r i t e l n ( TRUE ) ELSE W r i t e l n ( FALSE )

2.5.

La operaci on NAND

La operaci on NAND consiste en una AND en la cual, a su resultado, se le es aplicado la operaci on NOT. Es decir supongamos que tenemos una funci on l ogica f , que consiste en el producto l ogico negado (NAND) de 2 variables A y B tal que: f (A, B ) = A B

Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos armar lo que se denomina, tabla de verdad para una funci on l ogica NAND. Dicha tabla se expresa de la siguiente manera: A 0 0 1 1 B 0 1 0 1 f (A, B ) = A B 1 1 1 0

El equivalente en PASCAL de esta operaci on l ogica es:

Operaci on L ogica NAND

1 VAR 2 3 4 BEGIN 5

A, B : BOOLEAN;

{ V e r i f i c a r como a c t u a e l IF , cuando A,B v a l e n True ( 1 ) / F a l s e ( 0 )

Autor: Bernardo Ortega Moncada

Apunte de Operaciones L ogicas

2do Cuatrimestre 2010

6 7 8 9 10

con t o d a s l a s c o m b i n a c i o n e s p o s i b l e s } IF not (A and B) THEN W r i t e l n ( TRUE ) ELSE W r i t e l n ( FALSE )

2.6.

La operaci on NOR

La operaci on NOR consiste en una OR en la cual, a su resultado, se le es aplicado la operaci on NOT. Es decir supongamos que tenemos una funci on l ogica f , que consiste en la suma l ogica negada (NOR) de 2 variables A y B tal que: f (A, B ) = A + B

Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos armar lo que se denomina, tabla de verdad para una funci on l ogica NOR. Dicha tabla se expresa de la siguiente manera: A 0 0 1 1 B 0 1 0 1 f (A, B ) = A + B 1 0 0 0

El equivalente en PASCAL de esta operaci on l ogica es:

Operaci on L ogica NOR

1 VAR 2 3 4 BEGIN 5 6 7 8 9 10

A, B : BOOLEAN;

{ V e r i f i c a r como a c t u a e l IF , cuando A,B v a l e n True ( 1 ) / F a l s e ( 0 ) con t o d a s l a s c o m b i n a c i o n e s p o s i b l e s } IF not (A o r B) THEN W r i t e l n ( TRUE ) ELSE W r i t e l n ( FALSE )

2.7.

La operaci on XNOR

La operaci on XNOR consiste en una XOR en la cual, a su resultado, se le es aplicado la operaci on NOT. Ahora prestemos un poco de detalle, como resulta una XOR negada, el funcionamiento que tiene una XNOR, es el de comparar dos variables y devolver TRUE, cuando las dos variables son iguales o FALSE, para el caso contrario. Es decir supongamos que tenemos una funci on l ogica f , que consiste en la XOR negada (XNOR) de 2 variables A y B tal que: f (A, B ) = A B

Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos armar lo que se denomina, tabla de verdad para una funci on l ogica XNOR. Dicha tabla se expresa de la siguiente manera: A 0 0 1 1 B 0 1 0 1 f (A, B ) = A B 1 0 0 1

Autor: Bernardo Ortega Moncada

Apunte de Operaciones L ogicas

2do Cuatrimestre 2010

Vean como queda evidente que una XNOR, es nada mas y nada menos que un comparador de dos variables

El equivalente en PASCAL de esta operaci on l ogica es:

Operaci on L ogica XNOR

1 VAR 2 3 4 BEGIN 5 6 7 8 9 10

A, B : BOOLEAN;

{ V e r i f i c a r como a c t u a e l IF , cuando A,B v a l e n True ( 1 ) / F a l s e ( 0 ) con t o d a s l a s c o m b i n a c i o n e s p o s i b l e s } IF not (A xor B) THEN W r i t e l n ( TRUE ) ELSE W r i t e l n ( FALSE )

3.

Leyes de De Morgan

Las leyes de De Morgan, nos permiten obtener a trav es de una funci on l ogica. una funci on completamente distinta pero equivalente. Estas leyes son aplicadas para las funciones NAND y NOR, dichas leyes son las siguientes:

3.1.

Leyes de De Morgan para una NAND

Como ya sabemos una NAND es una funci on l ogica f (A, B ) = A B cuya tabla de verdad es: A 0 0 1 1 B 0 1 0 1 f (A, B ) = A B 1 1 1 0

Una funci on equivalente para esta NAND es una funci on OR cuyas variables de entrada son negadas, es decir: f (A, B ) = A B = A + B y se puede comprobar que dicha tabla de verdad se sigue cumpliendo.

3.2.

Leyes de De Morgan para una NOR

Como ya sabemos una NOR es una funci on l ogica f (A, B ) = A + B cuya tabla de verdad es: A 0 0 1 1 B 0 1 0 1 f (A, B ) = A + B 1 0 0 0

Una funci on equivalente para esta NOR es una funci on AND cuyas variables de entrada son negadas, es decir: f (A, B ) = A + B = A B y se puede comprobar que dicha tabla de verdad se sigue cumpliendo.

Autor: Bernardo Ortega Moncada

Apunte de Operaciones L ogicas

2do Cuatrimestre 2010

4.

Conclusiones

En total pudimos ver siete operaciones l ogicas, de las cuales las u ltimas 3 resultan una combinaci on entre dos operaciones l ogicas anteriores, es decir, que uno tambi en puede crear sus propias funciones l ogicas, a partir de las combinaciones de dichas operaciones, generar su tabla de verdad y utilizarla cuando le crea que es necesario. As como existen funciones l ogicas de 1 variable y 2 variables, tambi en existen funciones de 3 o m as variables, aumentando as el tama no de su tabla de verdad y su complejidad.

5.

Aclaraciones

Como vimos anteriormente en cada operaci on l ogica, di su equivalente en PASCAL, utilizando solo un IF, pero quiero aclarar lo siguiente. Estas operaciones NO solo se pueden utilizar con un IF (o procesos secuenciales, para ser mas gen ericos), sino que con ellas se puede aplicar en procesos iterativos (o combinacionales) como por ejemplo: FOR WHILE REPEAT - UNTIL FUNCIONES RECURSIVAS, es decir aquellas que dentro de su c odigo, realizan un llamado a si mismas

6.

Ejercicios

(nota: estos ejercicios son de car acter optativo, esta en el alumno si los desea hacer para aprender o terminar de cerrar los conceptos sobre estos temas) Armar la tabla de verdad de las siguientes funciones l ogicas: a b c d e f f (A, B ) = (A B ) + A f (A, B ) = (A B ) B f (A, B ) = (A + B ) (A B ) f (A, B, C ) = (A B ) + C f (A, B, C ) = (A B ) A f (A, B, C, D) = (A + B ) (C D)

Autor: Bernardo Ortega Moncada