Ingeniera en Sistemas

Computacionales

Sistemas Digitales

Tema: Funcione Booleanas

Mtro. Ernesto Silva Mendoza
Catedrtico
Funcion booleana

Expresion Algebraica binaria cuyo valor es la relacion de

variable binaria entre si por medio de operaciones bsicas,
producto logico, suma logica e inversion.

Representacion de una funcin: F= f(a, b, c, ..)

El valor de f depende de las variables a,b,c,...

Termino cannico ->producto o suma ->forma directa o inversa.

->producto cannico (mintrmino)
->suma cannica (maxtrmino)

Ejemplo: Una funcin de tres variables f(a, b, c): abc es un producto

cannico y el trmino a + b + c es una suma cannica
 Funcin Booleana

f3(A,B,C)= A B +C

f4(A,B,C)= A (B +C)

Son iguales o Diferentes ?

 Funcin Booleana

F3(A,B,C)= A B +C

F4(A,B,C)= A (B +C)
F3 F4

0 0
1 0
0 0
1 0
1 1
1 1
0 0
1 1
Funcin a partir de un diagrama
Circuito de compuertas

A B

A B + A B

A B
 m
A B F
A B
0
A B + A B 0 0 0
1
0 1 1
2
1 0 1
A B 3
1 1 0

f(A,B,C)= A B + A B= A B
 m
A B F
0
0 0 1
1
0 1 0
2
1 0 0
3
1 1 1

F(A,B)= A B + A B = (A B)
 Funcin a partir de un diagrama
Circuito de compuertas

Obtenga:
1.- la ecuacin
2.- la Tabla de verdad
 m A B C F
Obtenga: 0
1.- la ecuacin 0 0 0 0
2.- la Tabla de verdad
1 0 0 1 0
2 0 1 0 0
3 0 1 1 1
4 1 0 0 0
5 1 0 1 1
6 1 1 0 1
F(A, B, C) = A B C + AB C + A B C
7 1 1 1 0
 Funcin a partir de un diagrama
Circuito de compuertas

Obtenga:
1.- la ecuacin
2.- la Tabla de verdad
 m A B C F
Obtenga: 0 0 0 0 0
1.- la ecuacin
2.- la Tabla de verdad 1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 1
Ejercicio: hacer lo que se indica

Obtenga:
1.- El Circuito
2.- la Tabla de verdad F(A,B,C,D) = AB + BD + DC + BD

Obtenga:
1.- El Circuito
2.- la Tabla de verdad
 Minitermino

Termino producto (AND) que contiene

todas las variables de la funcin
ya sea en su forma normal (afirmada)
o complementada (negada)
Minitermino
Minitermino
 Minitermino

Termino producto (AND) que contiene todas las variables de la funcin ya

sea en su forma normal (afirmada)
o complementada (negada)
Minitermino
 Minitermino
Con el Minitermino
podemos obtener la
ecuacion a partir de
la tabla de verdad
Suma de Productos SOP

Forma Cannica

SOP
Minitermino de 3 Variables
 Maxitermino

Termino suma (OR) que contiene todas

las variables de la funcin ya sea en
su forma normal (afirmada)
o complementada (negada)
Maxiterminos
Maxiterminos

Termino suma (OR)

que contiene todas las variables De
la funcin ya sea en su forma
normal (afirmada)
o complementada (negada)

Maxiterminos forma POS

Productos de Sumas
Maxiterminos
Forma Canonica

POS
Forma cannica
Maxiterminos POS
 Diagrama de Compuertas
Minitermino SOP y Maxiterminos POS
 Tablas de Verdad
Maxiterminos POS y Minitermino SOP
Simplificacin de funciones Booleanas

Manipulacin Algebraica

Mapas de Karnaugh
Manipulacin Algebraica
Factorizacin

Duplicando un termino ya existente

Teorema del consenso

Propiedad distributiva

Identidades

Teorema de Dmorgan
 Factorizacin
Manipulacin Algebraica
m
A B F
Factor comn B
0
0 0 0
1
0 1 1
2
1 0 0
3
1 1 1

F(A,B)=AB+AB = B
la Factorizacin se efecta
cuando solo cambia una
variable entre dos trminos
y esta variable se elimina.
Duplicando un termino ya existente

F= A + B
Teorema del consenso
Bibliografia
Pagina Personal de M.C. Juan A. Garza Garza, Catedratico de la
FIME de de UANL, http://jagarza.fime.uanl.mx/

Tutorial de Sistemas Digitales de la pagina del Tecnologico de

la Paz,
http://www.itlp.edu.mx/publica/tutoriales/sistdigitales/index.htm
/

Sitio web de alumnos del Politecnico Nacional,

http://azul2.bnct.ipn.mx/~clogicos/

Sitio Web de Electrnica, http://www.unicrom.com

G R A C I A S

Dudas, Comentarios o Sugerencias

e-mail: ersime172@hotmail.com