INFORME: LGEBRA DE BOOLE Y LGICA DE PREDICADOS

MATERIA: LGICA MATEMATICA (8249)

DOCENTE: LIC. CICERON JIMENZ SIERRA

PRESENTADO POR: ALEXANDRA ARREDONDO RAMIREZ

CODIGO: 467522

INGENIERIA CIVIL
GRUPO 3

UNIVERSIDAD COOPERATIVA DE COLOMBIA SEDE NEIVA

ABRIL DE 2016

CAPTULO 2 INTRODUCCIN AL LGEBRA DE BOOLE

El lgebra de Boole es una estructura algebraica que emplea variables y operadores

lgicos con el propsito de esquematizar las operaciones lgicas Y, O, No y Si (AND, OR,
NOT, IF), as como el conjunto de operaciones unin, interseccin y complemento. De
esta forma se puede dar un tratamiento algebraico a las expresiones de la lgica
proposicional, con o cual se puede dar una solucin ms expedita y gil a ciertos
problemas relacionados con el diseo electrnico y algoritmos de programacin.
La estructura matemtica se define con variables binarias A, B, C, , x, y, z en un
conjunto = {0, 1}. En el campo de la ingeniera el lgebra de Boole se emplea para
efectuar una descripcin matemtica del proceso y el manejo de la informacin binaria,
en la cual las variables solamente pueden tomar dos valores que se representan
mediante el 0 y el 1, estableciendo una relacin entre el lgebra booleana, los circuitos
lgicos y las seales elctricas binarias.

1 OPERACIONES Y COMPUERTAS DEL LGEBRA DE BOOLE

1.1 OPERACIONES Y COMPUERTAS FUNDAMENTALES
Las operaciones fundamentales del lgebra de Boole son NOT, AND y OR.

1.1.1 OPERACIN Y COMPUERTA AND (Y)

La operacin AND corresponde a la Conjuncin ^ del clculo proposicional y se
representa con un punto, por lo cual se denomina Multiplicacin Lgica. El empleo del
punto es opcional, por lo que es equivalente escribir AB o AB. Cualquiera de estas dos
expresiones se lee A AND B y se puede visualizar grficamente de la siguiente manera:

La batera alimenta el circuito con un voltaje V y genera una corriente elctrica que pasa
por los interruptores A y B, conectados a un bombillo que se enciende si y solo si ambos
interruptores se encuentran cerrados.
La siguiente es la tabla de verdad para AND:
A
0
0
1
1

B
0
1
0
1

AB = C
0
0
0
1

En el diseo de circuitos digitales se ha estandarizado el siguiente smbolo para AND:

La compuerta AND puede tener dos o ms entradas y una sola salida, la cual
corresponde a la multiplicacin lgica de las variables de entrada.

1.1.2 OPERACIN Y COMPUERTA OR (O)

La operacin y compuerta OR corresponde a la Disyuncin Inclusiva del Ca lculo
Proposicional, que en lgebra booleana se denomina Suma Lgica y se representa como
A + B. Esta expresin se lee como A OR B y se puede representar mediante el siguiente
circuito:

La batera alimenta el circuito con un voltaje V y genera una corriente elctrica que pasa
por los interruptores A y B, conectados a un bombillo que se enciende cuando uno de
los interruptores se encuentra cerrado.
La siguiente es la tabla de verdad para OR:
A
0
0
1
1

B
0
1
0
1

A+B = C
0
1
1
1

En el diseo de circuitos digitales se ha estandarizado el siguiente smbolo para OR:

La compuerta OR puede tener dos o ms entradas y una sola salida, la cual corresponde
a la suma lgica de las variables de entrada.

1.1.3 OPERACIN Y COMPUERTA NOT (NO, Inversor)

La operacin y compuerta NOT corresponde a la operacin Negacin ~ del Clculo
Proposicional, que se denota con una barra encima de la letra; por ejemplo, la operacin
NOT aplicada a la proposicin A es , y se lee Complemento de A.
En el diseo de circuitos se ha estandarizado el siguiente smbolo para NOT:

As pues, el proceso de la asignacin de 1 y 0 es la digitalizacin de las seales elctricas

en el tiempo. stas seales activan y desactivan a manera de interruptor los dispositivos
Compuertas Lgicas, las cuales son los elementos bsicos de cualquier circuito digital
real.

1.2 OTRAS OPERACIONES Y COMPUERTAS LOGICAS

Aparte de las compuertas bsicas AND, OR y NOT existen otras igualmente importantes
llamadas XOR, NAND, NOR y NXOR que corresponden en su orden a las operaciones
lgicas O exclusiva o excluyente, negacin de AND, negacin de OR y negacin de XOR.

1.2.1 OPERACIN Y COMPUERTA XOR (O Excluyente)

Corresponde a la operacin lgica del Clculo Proposicional Disyuncin exclusiva ;
para letras proposicionales A y B, se denota AB y en el contexto del lgebra de Boole
se simboliza A B , lo cual se lee A XOR B.
La siguiente es la tabla de verdad para XOR:
A
0
0
1
1

B
0
1
0
1

AB = C
0
1
1
0

En el diseo de circuitos digitales se ha estandarizado el siguiente smbolo para XOR:

La compuerta OR puede tener dos o ms entradas y una sola salida, la cual corresponde
a la suma lgica de las variables de entrada.

1.2.2 COMPUERTA NAND (AND Negada)

La compuerta NAND o negacin de AND corresponde a la operacin lgica del Clculo
Proposicional

Booleana se denota

proporcionada por la Primera ley de Morgan. En el lgebra

y se lee A NAND B. Se representa en la siguiente tabla de

verdad:
A

AB

1.2.3 COMPUERTA NOR (O Negada)

La compuerta NOR o negacin de OR corresponde a la operacin lgica del Clculo

Proposicional

Booleana se denota

proporcionada por la Segunda ley de Morgan. En el lgebra

+

y se lee A NOR B. Se representa en la siguiente tabla de

verdad:

A+B

2 LEYES DEL LGEBRA DE BOOLE

2.1 POSTULADOS O AXIOMAS DEL LGEBRA DE BOOLE
Las propiedades o leyes a nivel axiomtico que cumplen las operaciones AND, OR y NOT
en ={0, 1} son Clausurativa, Conmutativa, Identidad, Distributiva y Complemento o de
Inversin.

2.1.1 PROPIEDAD CLAUSURATIVA

La suma y multiplicacin de los elementos de ={0, 1} dan como resultado un elemento
de ={0, 1}. As, 0+0 = 0, 0+1 = 1, 1+0 = 1, 1+1 = 1

2.1.2 PROPIEDAD CONMUTATIVA

Se sintetiza como:

A+B=B+A
A B = B A

2.1.3 PROPIEDAD DISTRIBUTIVA

De la multiplicacin con respecto a la suma:
A(B+C) = AB + AC
De la suma con respecto a la multiplicacin:
A+(BC) = (A+B) (A+C)

2.1.4 PROPIEDAD DEL ELEMENTO IDNTICO O NEUTRO

Para la suma existe un elemento 0 tal que, X + 0 = 0 + X = X
Para la multiplicacin existe un elemento tal que, 1 tal que, X1 = 1X = X

2.1.5 PROPIEDAD DEL ELEMENTO COMPLEMENTO

Para cada A existe un tal que A + = 1, donde es el complemento de A.

Principio de dualidad
Dos expresiones booleanas son duales si y solo si una se obtiene de la otra
intercambiando operadores y elementos idnticos.

2.2 TEOREMAS DEL GEBRA DE BOOLE

3 FUNCIONES DE BOOLE Y SU SIMPLIFICACIN

Una funcin boolena es una expresin booleana de una o ms variables binarias
independientes. Las variableas independientes representan las entradas a un circuito y
la funcin, su salida.

3.1 SIMPLIFICACIN ALGEBRAICA

Cuando se requiere simplificar una funcin booleana por el mtodo algebraico, se
deben aplicar los postulados y teoremas del lgebra de Boole. El proceso de
simplificacin consiste en hallar una funcin booleana equivalente con menos
intervencin de las variables y trminos. Cuando se simplifican expresiones booleanas
se obtienen otra equivalente, es decir, con la misma tabla de verdad. La simplificacin
tiene la finalidad de minimizar el costo y tamao del circuito.

3.2 SIMPLIFICACIN MEDIANTE EL MAPA DE KARNAUGH

El mapa de Karnaugh o simplemente mapa K es un instrumento prctico para
simplificar una funcin lgica. Un mapa K es un diagrama tabular rectangular que
contiene 2n casillas, donde n es el nmero de variables de la funcin lgica a simplificar.
El propsito es convertir una tabla de verdad en su circuito lo ms simple posible. Esta
es otra manera de simplificar funciones lgicas pero solo lo utilizaremos para funciones
de dos, tres y cuatro variables. Un mapa de Karnaugh en esencia es otra forma de
escribir una tabla de verdad que permite simplificar de una manera grfica la funcin
lgica.
Para construir un mapa K con sumas de productos se procede de la siguiente manera:
1. Disee la tabla de verdad con cuatro variables, con la salida deseada para el
circuito.

2. Construya la expresin booleana para cada 1 de la tabla.

3. Sume las expresiones obtenidas en el paso 2. Esta es la funcin booleana a
simplificar.
4. Construya una tabla rectangular de tamao 4x4 . El lado izquierdo de la tabla se
marca con dos variables, digamos A y B y por encima las otras dos C y D. La
marcacin debe hacerse de tal forma que dos cuadrados adyacentes, tanto
horizontales como verticales, difieran en una sola variable.
5. Coloque un 1 en aquellos cuadrados correspondientes a los 1 en la salida de la
tabla.
6. Examine los 1 adyacentes y los aislados. En este caso no hay aislados. Tenga en
cuenta que cada cuadrado del rengln superior es adyacente al cuadrado
correspondiente del rengln inferior.
7. Busque los unos que sean adyacentes a otro uno. Repita cualquier par que tenga
dicho. La funcin se simplificar en el paso 11 combinando los cuadros
adyacentes que tengan el 1, por parejas, por cuartetos o por octetos.
8. Agrupe los octetos aunque algunos de los 1 ya hayan sido utilizados
9. Agrupe cualquier cuarteto que contenga uno o ms unos que no se hayan
utilizado, asegurndose de utilizar el mnimo nmero de agrupamientos.
10. Agrupe cualquier par que sea necesario para incluir los unos que no se hayan
utilizado aun. Asegrese de utilizar el mnimo nmero de agrupamientos.
11. Simplificacin.
Agrupamiento por pares: El agrupamiento de un par de unos adyacentes elimina
la variable que aparece en forma complementada y no complementada.
Agrupamiento por cuartetos: El agrupamiento de un cuarteto de unos adyacentes
elimina las dos variables que aparecen en forma complementada y no
complementada.
Agrupamiento por octetos: El agrupamiento de un octeto de unos adyacentes
elimina las tres variables que aparecen en forma complementada y no
complementada.
12. Forme la suma OR de todos los trminos generados por cada agrupamiento en
la simplificacin.

CAPTULO 3 INTRODUCCIN A LA LGICA DE PREDICADOS

1 INTRODUCCIN
La Lgica de Predicados o Lgica de Primer Orden, L1 , es una generalizacin de la
Lgica de Proposiciones, L0. Ahora, en L1, se atender a la estructura interna de las
proposiciones atmicas, que comprende conectivos, trminos, predicados y
cuantificadores.
Un trmino es la expresin con la que se nombra o se designa un nico objeto. Es la
expresin verbal de un concepto o idea. Mientras que, el predicado de una proposicin
es todo lo que se dice del sujeto.
Variable. Una variable es el trmino ms importante de la matemtica; su funcin
gramatical en L1 es semejante a los pronombres y nombres comunes del lenguaje
natural en el que hablamos. Se simbolizan por x, y, z,..., x1, x2, x3,..
Un trmino es una expresin con la que se nombra o se designa un nico objeto o es
una variable que puede ser sustituida por una expresin que nombre o designe un
objeto nico.

2 PROPOSICIN CUANTIFICADA
Funcin proposicional. Una funcin proposicional es una expresin que tiene la forma
de proposicin pero su valor de verdad verdadero o falso est indeterminado
debido a la presencia de variables. Consta de un trmino, representado por una variable
y un predicado representado con una letra mayscula obtenida de la principal palabra

del predicado. Una variable es una cantidad que toma cualquier valor dentro de un
universo U de valores.
Una funcin proposicional puede convertirse en proposicin de dos maneras. La
primera, consiste en sustituir la variable por un valor determinado del universo. La
proposicin resultante mediante este procedimiento se le llama proposicin
particular debido a que se ha tomado un valor particular del universo.
La segunda forma de convertir una funcin proposicional en proposicin consiste en un
procedimiento de cuantificacin. Un cuantificador es una expresin que cuantifica los
individuos del universo que cumplen una condicin determinada dada en la funcin
proposicional; se clasifica en universal y existencial.
El cuantificador universal le da sentido a la funcin proposicional introduciendo
todos los valores del universo como su conjunto solucin. Cuantifican universalmente,
entre otras expresiones, todo(a), cualquier(a), para todo, para cualquier, ningn(a),
nadie. El cuantificador universal es simbolizado .
Por otro lado, el cuantificador existencial le da sentido a la funcin proposicional en
forma tal que introduce solo algunos valores del universo en su conjunto solucin.
Cuantifican existencialmente, entre otras expresiones, algn(a), existe por lo menos
uno, existe aunque sea uno, hay unos y existe un nico. El cuantificador existencial es
denotado . El smbolo ! significa existe un nico.

3 EL TRMINO NINGUN EN LAS PROPOSICIONES CUANTIFICADAS Y

NEGACION DE LAS PROPOSICIONES CUANTIFICADAS
El trmino ningn. El trmino ningn niega la existencia de elementos del universo que
cumplen la condicin de la funcin proposicional. Por ejemplo, decir que ninguna
persona me quiere significa que todas personas no me quieres. Para expresar una

proposicin que contiene el trmino ningn en otra equivalente con el cuantificador

universal se sigue la frmula siguiente:

Negacin de las proposiciones cuantificadas universalmente. La frmula para la

negacin de una proposicin cuantificada universalmente (xU)(PX) es
~[(xU)(PX)]( xU)(~PX)
la cual expresa literalmente: No es cierto que, para todo x de U se cumple la propiedad
P, equivale a, existe por lo menos un x en U tal que no cumple la propiedad P.
Negacin de las proposiciones cuantificadas existencialmente. La frmula para la
negacin de una proposicin cuantificada existencialmente (xU)(PX) es
~[(xU)(PX)]( xU)(~PX)
la cual se expresa literalmente: No es verdad que, existe algn x de U que cumple la
propiedad P, equivale a, cualquier x en U no cumple la propiedad P.

4 INFERENCIA
DEMOSTRACIN DE LA VALIDEZ DE UNA ARGUMENTACIN
Se puede demostrar la validez de los argumentos que contienen proposiciones
cuantificadas mediante cuatro reglas de inferencia, Instanciacin Universal, UI;
Generalizacin Universal, GU; Generalizacin Existencial, GE; y, Instanciacin
Existencial, IE. Obsrvese la siguiente grfica.

La instanciacin universal (IU, tambin llamada especificacin universal o eliminacin

universal) es una regla de inferencia vlida que a partir de una verdad sobre cada miembro de
una clase de individuos a la verdad sobre un individuo en particular de esa clase. En general, se
administra como una regla de cuantificacin para el cuantificador universal pero tambin
puede ser codificado en un axioma. Es uno de los principios bsicos utilizados en la teora de la
cuantificacin.
Ejemplo: "Todos los hombres son crueles. Carlos es un hombre. Por lo tanto Carlos es cruel."

La generalizacin universal (GU, tambin llamada introduccin universal) es una

regla de inferencia vlida. Ella establece que si se ha derivado

, entonces puede

derivarse
La generalizacin existencial (tambin conocida como introduccin existencial, GE) es una
regla de inferencia vlida que permite pasar de una declaracin especfica, o una instancia, a
una declaracin generalizada cuantificada o proposicin existencial. En lgica de primer orden,
se utiliza con frecuencia como una regla para el cuantificador existencial () en pruebas
formales.
Ejemplo: "A Carlos le gustan las papas fritas. Por lo tanto, a algo le gustan las papas fritas."

La ejemplificacin existencial (tambin llamada eliminacin existencial)es una

regla de inferencia vlida que dice que, dada una frmula de la forma
posible inferir

, es

para una nueva constante o variable simblica c. La regla tiene la

restriccin de que los constantes o variables c introducidas por la regla deben ser nuevo
trmino que no ha ocurrido antes en la prueba.