Tecnológico Nacional de

México

Instituto Tecnológico de Pachuca

Resumen sobre postulados y

aplicaciones de algebra de booleana

Ing. Sistemas Computacionales

Principios eléctricos y
aplicaciones digitales

Ortiz Ceron Erick Jaziel

CARRASCO LOPEZ J. CRUZ
ENRIQUE
Postulados básicos
Postulado 1: Un álgebra booleana es un sistema algebraico cerrado formado por
un conjunto de k o más elementos y los 2 operados -,+.

Postulado 2 (Existencia de los elementos 1 y 0)

a) a + 0=a
b) a . 1=a

Postulado 3 (Conmutatividad):
a) a + b= b + a
b) a . b= b . a

Postulado 4 (Associatividad)
a) a + (b + c)= (a + b)+ c
b) a (b . c)= (a . b)c

Postulado 5 (Distributiva)
a) a + (b.c)= (a+b)(a+c)
b) a(b+c)=ab + ac

Postulado 6 (existencia del complemento)

a) a +a = 1
b) a. a = 0

Teoremas fundamentales de Algebra booleana

Teorema 1 (impotencia)
A. a +a = a
B. aa= a

Teorema 2(Elementos neutros para operadores +,-)

A. a +1 = 1
B. a0=0

Teorema 3 (Involución)
A=a

Propiedades de 0 y 1
 OR AND Complemento
a + 0= a a0=0 0’=1
a + 1= 1 a1=a 1’= 0
Teorema 4 (Absorción)
A. a + ab= a
B. a(a + b)= a
Ejemplos:
-(X+Y) + (X + Y)Z= X+Y
- AB’(AB’ + B’C)= AB’

Teorema 5
A. a + a’b= a + b
B. a (a’ + b)= ab

Teorema 6
A. ab + ab’= a
B. (a + b)(a + b’) = a

Teorema 7
A. ab + ab’c= ab+ ac
B. (a + b)(a + b’ +c)=(a + b)(a+ c)

Teorema 8(Teorema de Morgan )

A. (a + b)’= a’b’
B. (ab)’= a’ + b’

Teorema de generalizacion de Morgan

A. (a + b+ …z)’= a’b’…z’
B. (ab…z)’= a’+b’+…z’

Teorema 9(Consenso)
A. ab+a’c+ bc= ab+a’c
B. (a+b)(a’+c)(b+c)=(a+b)(a’+c)
Formas algebraicas de funciones de conmutación
 Literal: Una variable, complementada o sin complementas
 Termino producto: Una literal o literales unidos por una operación AND
 Término suma: Una literal o literales unidos por una operación OR
SOP(Suma de productos)
 OR de términos producto
 F(A, B ,C)= ABC+ A’C+B’C
POS(Producto de sumas)
 AND de términos suma
 F(A.B.C)= (A’+B’+C)(A+C)(A+B)
Un maxtérminos es una suma de términos en el cual todas las variables aparecen
exactamente una vez ya sea completas o sin complemento
Ejemplo: Determinar la relación entre los maxtérminos para la función y su
complemento
– Para
f(A,B,C C) = ( ) A+B+C ')( A+B B'+ '+C ')( A'+B+C +')( A'+B +B'+C +')
– La tabla de verdad es:
Circuitos de conmutación
Señales eléctricas y valores lógicos
 Una señal puesta a valor lógico 1, se dice , que es activa o verdadera
 Una señal alta activa se afirma cuando es alta (en lógica positiva)
 Una señal baja activa se afirma cuando es baja (en lógica negativa )

Funciones con especificación incompleta

En el diseño de circuitos digitales, con frecuencia ocurre que la función de
conmutación no tiene una especificación completa. En otras palabras. Puede ocurrir
que una función deba contener ciertos mintérminos y omitir otros, en este caso
podemos incluir en el diseño lógico, si expresamos una función mediante
maxtérminos, por lo general escribimos los mintérminos presendibles en la forma
correspondiente de maxtérminos. llamadose en este caso maxtérminos
presendibles
Los términos presendibles surgen de 2 formas, en la primera podrían ocurrir ciertas
combinaciones, de entrada, nunca se aplican a una red de conmutación
Digito decimal Codigo BCD
0 0000
1 0001
2 0010
3 0011
4 0100
5 0101
6 0110
7 0111
 8 1000
9 1001

Las condiciones prescindibles también surgen cuando todas las combinaciones de

entrada de una red dada, pero solo requieren que la salida 1 o 0 para ciertas
combinaciones.
Ejemplo realizar la tabla de la verdad del siguiente circuito: