Universidad Politcnica Estatal

del Carchi
Facultad de Industrias Agropecuarias
y Ciencias Ambientales
Carrera de informtica
Temas:
Algebra booleana
Tablas de verdad
Circuitos lgicos
Caja negra
Nombre: jhon paillacho
Curso: 1 B
Fecha: 26-03-2016

Tabla de contenido
1.2

Definition de algebra de Boole........................................................................3

1.3

Terminologa y convenciones..........................................................................3

1.4

Teoremas bsicos......................................................................................... 4

Teorema 1.4: Leyes de De Morgan...........................................................................5

2.

CIRCUITOS LGICOS..................................................................................... 9

2.2

Compuerta OR........................................................................................... 10

2.3

Compuerta AND......................................................................................... 11

2.4

Compuerta NOT......................................................................................... 12

2.5

Compuertas NOR y NAND...........................................................................12

2.6

Circuitos lgicos......................................................................................... 14

Algebra booleana
1.1Introduction
Tanto la teora de conjuntos como la lgica de enunciados
tienen propiedades similares. Tales propiedades se utilizan para
definir una estructura matemtica denominada lgebra de Boole, en
honor al matemtico George Boole (1813-1864).
1.2Definition de algebra de Boole
Sea B un conjunto en el cual se definen dos operaciones
binarias, + y *, y una operacin unitaria denotada
; sean 0 y 1
dos elementos diferentes de B. Entonces la
sxtupla:
B, +, *, , 0, 1
se denomina lgebra de Boole si se cumplen los siguientes
axiomas para cualesquiera elementos a, b, c del conjunto B:
[B1] Conmutatividad:
(1a) a + b = b + a
(1b) a * b = b * a
[B2] Distributividad:
(2a) a + (b * c) = (a + b) * (a + c)
(2b) a * (b + c) = (a * b)
+ (a * c)
[B3] Identidad:
(3a) a + 0 = a
(3b) a * 1 = a
3

[B4] Complemento:
(4a) a + a = 1

(4b) a * a = 0

1.3Terminologa y convenciones
Las operaciones + y * se denominan suma y producto,
respectivamente.
La operacin a se denomina complemento de a.
El elemento 0 se denomina elemento cero (neutro respecto de la
suma).

 El elemento 1 se denomina elemento unidad (neutro respecto del

producto).
Por convencin, omitimos el smbolo *, usndose en su lugar la
yuxtaposicin; de este modo, (2a) y (2b) se escriben:
(2a) a + bc = (a + b) (a + c)

(2b) a (b + c) = ab + ac

Por convencin, establecemos que + es ms fuerte que * y * es

ms fuerte que
;
por ejemplo:
a + b * csignificaa + (b * c)
y
no
(a + b) * c a * b
significa
a * ( b ) y no
(a * b)
1.4 dualidad
En un lgebra de Boole B, el dual de cualquier enunciado es el
enunciado obtenido de intercambiar las operaciones + y *, e
intercambiar los elementos neutros 0 y 1 en el enunciado original.
Por ejemplo:
el dual de (1 + a) * (b + 0) = b

es (0 * a) + (b * 1) = b

Con esta definicin de dualidad puede observarse que, en la

definicin de lgebra de Boole, los axiomas del grupo (1) son
duales de los axiomas del grupo (2) y viceversa. En otras palabras,
el dual de cualquier axioma de B tambin es un axioma. En
consecuencia, se cumple el siguiente teorema:
Teorema 1.1 (Principio de dualidad): En un lgebra de Boole,
el dual de cualquier teorema es tambin un teorema.
Esto significa que, si cualquier teorema es una consecuencia de los
axiomas de un lgebra de Boole, entonces el dual tambin es una
consecuencia de estos axiomas ya que se puede probar usando el
dual en cada paso de la demostracin original.
1.4Teoremas

bsicos
Utilizando los axiomas de la definicin de un lgebra de Boole,
pueden demostrarse los siguientes teoremas:
Teorema 1.2: Sean a, b, c elementos cualesquiera de un lgebra
de Boole B, se cumple:
Idempotenciacia
:
(5a) a + a = a

(5b) a * a = a

Acotamiento:
(6a) a + 1 = 1

(6b) a * 0 = 0

Absorcin:
(7a) a + (a * b) = a

(7b) a * (a + b) = a

Asociatividad:
(8a) (a + b) + c = a + (b + c)

(8b) (a * b) * c = a * (b * c)

Teorema 1.3: Sea a un elemento cualquiera de un lgebra de Boole

B, se cumple:
(i)
(ii)

Unicidad del complemento:

Si a + x = 1 y a * x = 0,
entonces

x=
a

Involucin:
a =a
(iii
)

(9a)

0 =1

(9

b) 1 = 0

Teorema 1.4: Leyes de De Morgan

(10
a)

a b a *
b

(10
b)

a * b a b

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:
(2b) a * (b + c) = (a * b) + (a * c) p (q r) (p q)
(p r) (5a) a + a = a
(7a) a + (a * b) = a

p p p
p (p q) p

(10b) a * b
a b

(p q) p q

Tabla de valores de verdad:

Es una tabla que despliega el valor de verdad de una proposicin
compuesta, para cada combinacin de valores de verdad que se
pueda asignar a sus componentes
Existen 5 tabla de la verdad o valores de a verdad las cuales son:
La tabla del " Y" o conjuncin
La tabla del " O" o disyuncin
La tabla del entonces o condicional
La tabla de la equivalencia o el bicondicional
La tabla de la negacin
Tabla del la conjucion
La conjuncin es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones son
verdaderas, y falso en cualquier otro caso. Es decir es verdadera
cuando ambas son verdaderas
La tabla de verdad de la conjuncin es la siguiente:

Tabla de la disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando una de las proposiciones es
verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

Tabla del condicional

El condicional material es un operador que opera sobre dos valores de
verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad falso slo cuando la primera proposicin
es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Tabla del bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre
dos valores de verdad, tpicamente los valores de verdad de dos
proposiciones, devolviendo el valor de verdad verdadero cuando
ambas proposiciones tienen el mismo valor de verdad, y falso cuando
sus valores de verdad difieren.
La tabla de verdad del bicondicional es la siguiente:

Tabla de la negacion:
La negacin es un operador que opera. sobre un nico valor de
verdad, devolviendo el valor contradictorio de la proposicin
considerada.

Ejercicios:

2. CIRCUITOS LGICOS
2.1Introduccin
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.
V

1
0

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

2.2Compuerta 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:
A B Y=A+
0
0 B0
0
1
1
1
0
1
1
1
1

La compuerta OR se representa del siguiente modo:

A
Y
B
La compuerta OR tambin puede tener ms de dos entradas:
A
B
C
D

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.3Compuerta AND
En una compuerta AND con entradas A y B, la salida Y resulta:
Y A B
donde el producto se define por la siguiente tabla:
A
0
0
1
1

B
0
1
0
1

Y=A*
B0
0
0
1

La compuerta AND se representa del siguiente modo:

A
Y
B

La compuerta AND tambin puede tener ms de dos entradas:

A
B
C
D

Donde la salida Y=A*B*C*D puede obtenerse asociando los factores:

Y A B C D ( A B) (C D) (( A B) C) D
2.4Compuerta NOT
En una compuerta NOT con entrada A, la salida Y resulta:
Y A
donde el complemento se define por la siguiente tabla:
A

Y
1
0

0
1

La compuerta NOT se representa del siguiente modo:

2.5Compuertas 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.

NOR

NAND

Por lo tanto, cuando las entradas son A y B, las salidas de estas

compuertas resultan:
NOR:

Y A B

NAND: Y A B
2.6Circuitos 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:
Y ( A B) C
A
Y

B
C

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.
Adoptaremos, entonces, aqu las mismas
adoptadas en el caso del lgebra de Boole:

convenciones

Omitimos el smbolo *, usndose en su lugar la yuxtaposicin de

variables.
Establecemos que + es ms fuerte que * y * es ms fuerte que

Puesto que tanto el lgebra de Boole es la estructura

algebraica tanto de los circuitos como de la lgica de enunciados,
la salida de un circuito lgico tambin puede expresarse en el

lenguaje de la lgica de enunciados.

La salida de este circuito, expresada en el lenguaje de la lgica de

enunciados, resulta:
(( A B C) DE)DE
E

(((p q r) (s t)) s t
t)

Ejercicios:

Caja negra:
Esquema de una caja negra
En teora de sistemas y fsica, se denomina Caja Negra a
aquel elemento que es estudiado desde el punto de vista de
las entradas que recibe y las salidas o respuestas que
produce, sin tener en cuenta su funcionamiento interno. En
otras palabras, de una caja negra nos interesar su forma de
interactuar con el medio que le rodea (en ocasiones, otros

elementos que tambin podran ser cajas negras)

entendiendo qu es lo que hace, pero sin dar importancia
a cmo lo hace. Por tanto, de una caja negra deben estar
muy bien definidas sus entradas y salidas, es decir,
su interfaz; en cambio, no se precisa definir ni conocer los
detalles internos de su funcionamiento.

20