SlideShare una empresa de Scribd logo
Matemáticas discretas
1
UNIDAD 4
ALGEBRA BOOLEANA
El álgebra booleana es un sistema matemático deductivo centrado en los valores cero y uno
(falso y verdadero). Es una herramienta fundamental para el análisis y diseño de circuitos digitales. Se
utiliza para representar proposiciones lógicas en forma algebraica mediante los operadores binarios "•"
y “+”, aceptando entradas binarias y produciendo un solo valor booleano. Fue desarrollado por George
Boole.
Esta álgebra es un conjunto de reglas matemáticas, similares en algunos aspectos al álgebra
convencional, pero que tienen la virtud de corresponder al comportamiento de circuitos basados en
dispositivos de conmutación (interruptores, relevadores, transistores, etc).
4.1 TEOREMAS Y POSTULADOS
Existen una serie de postulados que definen el álgebra booleana, y éstos se presentan en forma
de teoremas, de los cuales expresamos los siguientes:
POSTULADOS DEL ÁLGEBRA DE BOOLE
Postulado 1. Definición. El álgebra booleana es un sistema algebraico definido en un conjunto B, el
cual contiene dos o más elementos y entre los cuales se definen dos operaciones denominadas "suma u
operación OR" ( + ) y "producto o multiplicación u operación AND" ().
Postulado 2. Existencia de Neutros. Existen en B el elemento neutro de la suma, denominado O y el
neutro de la multiplicación, denominado 1, tales que para cualquier elemento x de s:
(a) x + O = x (b) x  1 = x
Postulado 3. Conmutatividad. Para cada x, y en B:
(a) x+y = y+x (b) x  y =y  x
Postulado 4. Asociatividad. Para cada x, y, z en B:
(a) x + (y + z) = (x + y) + z (b) x  (y  z) = (x  y)  z
Postulado 5. Distributividad. Para cada x, y, z en B:
(a) x+(y  z)=(x+y)  (x+z) (b) x  (y+z)=(x  y)+(x  z)
Postulado 6. Existencia de Complementos. Para cada x en B existe un elemento único denotado x
(también denotado x’), llamado complemento de x tal que
(a) x+x’ = 1 (b) x  x’ = O
TEOREMAS DEL ÁLGEBRA BOOLEANA
1.- Idempotencia
x + x = x x ∙ x = x
2.- Identidad de los elementos 0 y 1
x + 1 = 1 x ∙ 0 = 0
3.- Absorción
x + (x ∙ y) = x x ∙ (x + y) = x
4.- Complemento de 0 y 1
0’ = 1 1’ = 0
Matemáticas discretas
2
5.- Involución (doble negación)
(x’)’ = x
6.- Leyes de Morgan
(x + y)’ = x’ ∙ y’ (x ∙ y)’ = x’ + y’
La manera de demostrar los teoremas anteriores se puede basar en ideas intuitivas producto de
la familiaridad con algún álgebra booleana en particular, (en diagramas de Venn, o bien, en circuitos
con switches o en tablas de verdad) con la única condición de que se respete al pie de la letra los 6
postulados fundamentales. Antes de presentar los teoremas es conveniente mencionar el principio que
se deriva directamente de la manera en que fueron presentados los seis postulados fundamentales, es
decir, cada postulado tiene dos incisos los cuales son duales uno del otro.
Principio de Dualidad. Si una expresión booleana es verdadera, su expresión dual también lo es.
Expresiones duales. se dicen que son duales dos expresiones, si una se puede obtener de la otra
cambiando las operaciones ( + ) por () y viceversa y cambiando los O's por 1 's y viceversa.
TABLA DE TEOREMAS DE DUALIDAD DEL ÁLGEBRA BOOLEANA
Núm Teorema Dual
1 0A = 0 1 + A = 1
2 1A = A 0 + A = A
3 AA = A A + A = A
4 AA’ = 0 A + A’ = 1
5 AB = BA A + B = B + A
6 ABC = A(BC) A+B+C = A+(B+C)
7 (ABC)’ = A’+B’+C’ (A+B+C)’ = A’B’C’
8 AB+AC = A(B+C) (A+B)(A+C) = A+BC
9 AB+AB’ = A (A+B)(A+B’) = A
10 A+AB = A A(A+B) = A
11 A+A’B = A+B A(A’+B) = AB
12 CA+CA’B = CA+CB (C+A)(C+A’+B) = (C+A)(C+B)
13 AB+A’C+BC=AB+A’C (A+B)(A’+C)(B+C)=(A+B)(A’+C)
4.2 OPTIMIZACIÓN DE EXPRESIONES BOOLEANAS.
El conjunto de reglas que relaciona las entradas con la salida se representa mediante una función
lógica, cuyas variables representan las señales de entrada del circuito digital. La función lógica se
describe mediante una expresión algebraica, en la cual los operadores del álgebra booleana relacionan
las variables intervinientes.
Así, la función lógica representa la relación entrada-salida del circuito digital. En el otro
sentido, también puede decirse que el circuito digital es la implementación física del conjunto de reglas
descrito por la función lógica.
El funcionamiento del circuito digital consiste en generar, a partir de las señales de entrada, las
señales de salida cuyos valores cumplan las relaciones planteadas como objetivo del circuito.
Matemáticas discretas
3
Debido a que las señales de entrada y de salida de los circuitos digitales son señales que sólo
pueden presentar dos valores distintos, se les denomina en forma general señales lógicas y por
extensión, los circuitos digitales se conocen también como circuitos lógicos.
Cuando una función se incrementa con compuertas lógicas, cada literal en la función denota una
entrada a una compuerta.
1. Cada literal denota la entrada a una compuerta.
2. Cada termino se implanta con una compuerta.
Compuertas lógicas
Una compuerta lógica básica es aquella que implementa una operación booleana básica. Se
designan con los mismos nombres de la operación que implementan y se identifican mediante símbolos
especiales.
La compuerta AND
La compuerta AND es un circuito con dos o más entradas
que opera de tal forma que la salida es igual al producto
lógico de las entradas.
La compuerta OR
La compuerta OR es un circuito que tiene dos o más
entradas y cuya salida es igual a la suma lógica de las
entradas.
La compuerta NOT
La compuerta NOT es un circuito que tiene una sola entrada y cuya
salida se obtiene realizando el complemento al valor de entrada. La
salida de la compuerta es siempre el opuesto de la entrada, por ello, es
muy común el uso del término INVERSOR para referirse a esta compuerta.
La compuerta NAND
La compuerta NAND es un circuito que tiene dos o más entradas y su salida es igual al
complemento del producto lógico de las entradas. Opera en forma equivalente a una compuerta AND
seguida de un INVERSOR.
Matemáticas discretas
4
La compuerta NOR
La compuerta NOR es un circuito que tiene dos o más entradas y su salida es igual al
complemento de la suma lógica de las entradas. Opera en forma equivalente a una compuerta OR
seguida de un INVERSOR.
Relación entre tablas de verdad y expresiones booleanas
Las tablas de verdad y las expresiones booleanas son formas de representar una función lógica.
Se puede encontrar la tabla de verdad de una función lógica a partir de la expresión booleana de dicha
función lógica. Para ello se debe evaluar la expresión booleana para cada una de las combinaciones
posibles de valores de entrada.
Una tabla de verdad describe el valor de una función para cada una de las combinaciones
posibles de valores lógicos de las variables.
Cada fila de la tabla, contiene la combinación de valores lógicos de las variables de la función y
el correspondiente valor de la función para esa combinación. Es decir, que la tabla de verdad muestra
explícitamente todos los casos posibles de entrada y sus respectivos resultados (salida).
En forma similar, dada la tabla de verdad de una función lógica, se puede encontrar la expresión
booleana correspondiente.
El Álgebra Booleana utiliza variables y operadores para obtener expresiones lógicas que
representan un circuito combinacional. Luego describe una serie de teoremas que utilizaremos para
manipular las expresiones lógicas.
Si la función está definida para todas las combinaciones se llama completa, si no, se denomina
incompleta. Para 4 variables:
Matemáticas discretas
5
2.- A partir de la siguiente expresión Booleana se nos pide
Que obtengamos su diagrama lógico equivalente
Matemáticas discretas
6
Ejemplo
El circuito lógico de la Figura recibe en sus terminales de entrada las señales A, B y C. En la
terminal de salida S se encuentra conectado un diodo led que se enciende cuando la salida S del circuito
se pone en valor ALTO y permanece apagado siempre que la salida S esté en BAJO. Encuentre la
función lógica correspondiente.
Matemáticas discretas
7
Matemáticas discretas
8
FORMAS CANÓNICAS.
Se llama término canónico de una función lógica a todo producto de sumas (Maxitérminos) o
suma de productos (minitérminos) en los cuales aparecen todas las variables en su forma directa o
complementada.
La expresión algebraica en suma de productos o productos de sumas en la que no todos los
términos son canónicos recibe el nombre de normalizada o forma NO canónica.
EXPRESIÓN CANÓNICA DISYUNTIVA
Se define expresión algebraica disyuntiva a la expresión de la función como suma de términos
producto. Se dice que la función se encuentra expresada en forma normal disyuntiva o como suma de
productos.
Expresión algebraica disyuntiva: f (A, B, C) = AB + ABC
Se verifican las siguientes propiedades:
 Dada la lista completa de miniterminos de n variables, asignando arbitrariamente valores 1 o 0 a
cada variable, se verifica que un único minitermino tomará el valor 1.
 La fórmula compuesta por los 2n miniterminos tomará el valor 1.
 La fórmula canónica disyuntiva o de miniterminos es única.
 Toda función puede expresarse como suma de miniterminos. Por ejemplo dada la fórmula
disyuntiva se puede pasar a la fórmula canónica disyuntiva aplicando los
postulados y propiedades del algebra de Boole.
FORMA CANÓNICA DE LA SUMA DE PRODUCTOS
La metodología empleada en la transformación de una suma de productos a su forma canónica se
basa en la regla 6, que establece que una variable sumada con su complemento es siempre igual a 1;
A + A' = 1. Los pasos son los siguientes:
o Los términos producto que no contengan la(s) variable(s) del dominio, multiplicarlos por un
término formado por dicha variable más el complemento de la misma (regla 6).
o Repetir el paso 1 para todos los términos de la expresión que no contengan todas las variables (o
sus complementos) del dominio. Resolver los términos intervenidos.
Ejemplo
Convertir la expresión booleana ABC' + BC + A' a su forma canónica.
 El dominio de la expresión es el conjunto de variables A, B y C. Se observa la falta de formato
estándar para el segundo y tercer término producto. Sobre ellos se aplicará el procedimiento,
para luego volver a agrupar toda la expresión:
Término BC
BC = BC ·(A+A') = ABC + A'BC
Término A’
A' = A'(C+C') = A'C+A'C'; la expresión aún no tiene el formato canónico, entonces
multiplicamos cada término por (B+B') A'C(B+B') +A'C'(B+B') = A'BC + A'B'C + A'BC' + A'B'C'
ABC' + BC + A' = ABC + A'BC + A'BC + A'B'C + A'BC' + A'B'C‘
Matemáticas discretas
9
EXPRESIÓN CANÓNICA CONJUNTIVA
Se define expresión algebraica conjuntiva a la expresión de la función como producto de
términos suma. Se dice que la función se encuentra expresada en forma normal conjuntiva o como
producto de sumas.
A la expresión algebraica conjuntiva escrita mediante maxterminos se le denomina fórmula
canónica conjuntiva.
Expresión algebraica conjuntiva: f (A,B,C) = (A + B + C)(A + B)
Se verifican las siguientes propiedades:
 Dada la lista completa de maxiterminos de n variables, asignando arbitrariamente 1 o 0 a cada
variable, se verifica que un único maxitermino tomará el valor 0.
 La fórmula compuesta por los 2n maxiterminos tomará el valor 0.
 La fórmula canónica conjuntiva o de maxitermino es única.
 Toda función puede expresarse como producto de maxiterminos. Por ejemplo dada la fórmula
disyuntiva se puede pasar a la fórmula canónica conjuntiva aplicando los
postulados y propiedades del algebra de Boole.
FORMA CANÓNICA DEL PRODUCTO DE SUMAS
La metodología empleada en la transformación de un producto de sumas a su forma canónica
se basa en la regla 8, que establece que una variable multiplicada por su complemento es siempre igual
a 0; AA' = 0. Los pasos son los siguientes:
o Los términos suma que no contengan la(s) variable(s) del dominio, sumarlos un término
formado por dicha variable y su complemento según regla 8.
o Aplicar la regla 12: A + BC = (A+B)(A+C)
o Repetir el paso 1 para todos los términos de la expresión que no contengan todas las variables (o
sus complementos) del dominio.
Ejemplo
Convertir la expresión booleana (A+B’+C)(B’+C+D’)(A+B’+C+D’) a su forma canónica.
Término A+B’+C
A+B’+C = A+B’+C+DD’ = (A+B’+C+D)(A+B’+C+D’)
Término B’+C+D’
B’+C+D’ = B’+C+D’+AA’ = (A+ B’+C+D’)(A’+ B’+C+D’)
(A+B’+C)(B’+C+D’)(A+B’+C+D’) =
= (A+B’+C+D)(A+B’+C+D’) (A+ B’+C+D’)(A’+ B’+C+D’) (A+B’+ C+D’)

Más contenido relacionado

La actualidad más candente

Diferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuencialesDiferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuenciales
Wilfred Garcia Diomeda
 
Circuitos digitales-problemas
Circuitos digitales-problemasCircuitos digitales-problemas
Circuitos digitales-problemas
instrumentacionuptaeb
 
Informe n° 5
Informe n° 5Informe n° 5
Informe n° 5
edithvelas
 
Sistemas de control
Sistemas de controlSistemas de control
Sistemas de control
toni
 
Solución de diagramas de bloques
Solución de diagramas de bloquesSolución de diagramas de bloques
Solución de diagramas de bloques
Perla Berrones
 
72494956 sintonia-de-lazo-abierto
72494956 sintonia-de-lazo-abierto72494956 sintonia-de-lazo-abierto
72494956 sintonia-de-lazo-abierto
MACLAB
 
ejercicios-resueltos-interpolacion-polinomial
ejercicios-resueltos-interpolacion-polinomialejercicios-resueltos-interpolacion-polinomial
ejercicios-resueltos-interpolacion-polinomial
Novato de la Weeb Fox Weeb
 
Interpolación Polinómica
Interpolación PolinómicaInterpolación Polinómica
Interpolación Polinómica
livysl
 
Problemas resueltos Electrónica digital
Problemas resueltos Electrónica digitalProblemas resueltos Electrónica digital
Problemas resueltos Electrónica digital
Carlos Cardelo
 
S9. transformada inversa-de_laplace
S9. transformada inversa-de_laplaceS9. transformada inversa-de_laplace
S9. transformada inversa-de_laplace
Neil Sulca Taipe
 
Sistemas de control en tiempo discreto
Sistemas de control en tiempo discretoSistemas de control en tiempo discreto
Sistemas de control en tiempo discreto
HermesCastillo01
 
Compuertas lógicas
Compuertas lógicasCompuertas lógicas
Compuertas lógicas
Walter Mastrodonato
 
Suma de dos digitos en BCD
Suma de dos digitos en BCDSuma de dos digitos en BCD
Suma de dos digitos en BCD
Santiago Salinas Lopez
 
Sistemas de primer orden, segundo orden y orden superior
Sistemas de primer orden,  segundo orden y orden superiorSistemas de primer orden,  segundo orden y orden superior
Sistemas de primer orden, segundo orden y orden superior
MichelleAlejandroLeo
 
Topologia de circuitos
Topologia de circuitosTopologia de circuitos
Topologia de circuitos
Angela Maria Guerrero
 
Compuertas Lógicas NOR, XOR, NAND, XNOR
Compuertas Lógicas NOR, XOR, NAND, XNORCompuertas Lógicas NOR, XOR, NAND, XNOR
Compuertas Lógicas NOR, XOR, NAND, XNOR
Carolina Medina Salazar
 
Fisica ii
Fisica iiFisica ii
Circuitos combinatorios y Algebra Booleana
Circuitos combinatorios y Algebra BooleanaCircuitos combinatorios y Algebra Booleana
Circuitos combinatorios y Algebra Booleana
Instituto Von Neumann
 
Sumador restador binario
Sumador restador binarioSumador restador binario
Sumador restador binario
Felix_Menendez
 
Temporizador(555 astable timer)
Temporizador(555 astable timer)Temporizador(555 astable timer)
Temporizador(555 astable timer)
Nilda Rebeca Chuquichambi
 

La actualidad más candente (20)

Diferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuencialesDiferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuenciales
 
Circuitos digitales-problemas
Circuitos digitales-problemasCircuitos digitales-problemas
Circuitos digitales-problemas
 
Informe n° 5
Informe n° 5Informe n° 5
Informe n° 5
 
Sistemas de control
Sistemas de controlSistemas de control
Sistemas de control
 
Solución de diagramas de bloques
Solución de diagramas de bloquesSolución de diagramas de bloques
Solución de diagramas de bloques
 
72494956 sintonia-de-lazo-abierto
72494956 sintonia-de-lazo-abierto72494956 sintonia-de-lazo-abierto
72494956 sintonia-de-lazo-abierto
 
ejercicios-resueltos-interpolacion-polinomial
ejercicios-resueltos-interpolacion-polinomialejercicios-resueltos-interpolacion-polinomial
ejercicios-resueltos-interpolacion-polinomial
 
Interpolación Polinómica
Interpolación PolinómicaInterpolación Polinómica
Interpolación Polinómica
 
Problemas resueltos Electrónica digital
Problemas resueltos Electrónica digitalProblemas resueltos Electrónica digital
Problemas resueltos Electrónica digital
 
S9. transformada inversa-de_laplace
S9. transformada inversa-de_laplaceS9. transformada inversa-de_laplace
S9. transformada inversa-de_laplace
 
Sistemas de control en tiempo discreto
Sistemas de control en tiempo discretoSistemas de control en tiempo discreto
Sistemas de control en tiempo discreto
 
Compuertas lógicas
Compuertas lógicasCompuertas lógicas
Compuertas lógicas
 
Suma de dos digitos en BCD
Suma de dos digitos en BCDSuma de dos digitos en BCD
Suma de dos digitos en BCD
 
Sistemas de primer orden, segundo orden y orden superior
Sistemas de primer orden,  segundo orden y orden superiorSistemas de primer orden,  segundo orden y orden superior
Sistemas de primer orden, segundo orden y orden superior
 
Topologia de circuitos
Topologia de circuitosTopologia de circuitos
Topologia de circuitos
 
Compuertas Lógicas NOR, XOR, NAND, XNOR
Compuertas Lógicas NOR, XOR, NAND, XNORCompuertas Lógicas NOR, XOR, NAND, XNOR
Compuertas Lógicas NOR, XOR, NAND, XNOR
 
Fisica ii
Fisica iiFisica ii
Fisica ii
 
Circuitos combinatorios y Algebra Booleana
Circuitos combinatorios y Algebra BooleanaCircuitos combinatorios y Algebra Booleana
Circuitos combinatorios y Algebra Booleana
 
Sumador restador binario
Sumador restador binarioSumador restador binario
Sumador restador binario
 
Temporizador(555 astable timer)
Temporizador(555 astable timer)Temporizador(555 astable timer)
Temporizador(555 astable timer)
 

Destacado

Unidad 3
Unidad 3Unidad 3
Unidad 3
Dragneel Oz
 
Diseño de sistemas digitales con contadores
Diseño de sistemas digitales con contadoresDiseño de sistemas digitales con contadores
Diseño de sistemas digitales con contadores
Santiago Salinas Lopez
 
Guía 03 diseño de circuitos combinacionales
Guía 03   diseño de circuitos combinacionalesGuía 03   diseño de circuitos combinacionales
Guía 03 diseño de circuitos combinacionales
JUANARIASPORTUGUEZ
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
David Hernandez
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
David Hernandez
 
Sistemas numéricos
Sistemas numéricosSistemas numéricos
Sistemas numéricos
David Hernandez
 
Programacion y metodos numericos resumen unidad 1 y 2
Programacion y metodos numericos resumen unidad 1 y 2Programacion y metodos numericos resumen unidad 1 y 2
Programacion y metodos numericos resumen unidad 1 y 2
David Hernandez
 
PRIMERA CONDICION DE EQUILIBRIO - ESTÁTICA
PRIMERA CONDICION DE EQUILIBRIO - ESTÁTICAPRIMERA CONDICION DE EQUILIBRIO - ESTÁTICA
PRIMERA CONDICION DE EQUILIBRIO - ESTÁTICA
EDWIN RONALD CRUZ RUIZ
 
ESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.L
ESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.LESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.L
ESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.L
EDWIN RONALD CRUZ RUIZ
 
2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShare2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShare
SlideShare
 
What to Upload to SlideShare
What to Upload to SlideShareWhat to Upload to SlideShare
What to Upload to SlideShare
SlideShare
 
Getting Started With SlideShare
Getting Started With SlideShareGetting Started With SlideShare
Getting Started With SlideShare
SlideShare
 

Destacado (12)

Unidad 3
Unidad 3Unidad 3
Unidad 3
 
Diseño de sistemas digitales con contadores
Diseño de sistemas digitales con contadoresDiseño de sistemas digitales con contadores
Diseño de sistemas digitales con contadores
 
Guía 03 diseño de circuitos combinacionales
Guía 03   diseño de circuitos combinacionalesGuía 03   diseño de circuitos combinacionales
Guía 03 diseño de circuitos combinacionales
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Sistemas numéricos
Sistemas numéricosSistemas numéricos
Sistemas numéricos
 
Programacion y metodos numericos resumen unidad 1 y 2
Programacion y metodos numericos resumen unidad 1 y 2Programacion y metodos numericos resumen unidad 1 y 2
Programacion y metodos numericos resumen unidad 1 y 2
 
PRIMERA CONDICION DE EQUILIBRIO - ESTÁTICA
PRIMERA CONDICION DE EQUILIBRIO - ESTÁTICAPRIMERA CONDICION DE EQUILIBRIO - ESTÁTICA
PRIMERA CONDICION DE EQUILIBRIO - ESTÁTICA
 
ESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.L
ESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.LESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.L
ESTÁTICA - DIAGRAMA DE CUERPO LIBRE D.C.L
 
2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShare2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShare
 
What to Upload to SlideShare
What to Upload to SlideShareWhat to Upload to SlideShare
What to Upload to SlideShare
 
Getting Started With SlideShare
Getting Started With SlideShareGetting Started With SlideShare
Getting Started With SlideShare
 

Similar a Algebra booleana

álgebra de boole
álgebra de booleálgebra de boole
álgebra de boole
Betzi Lira
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Betzi Lira
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
maria_amanta
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
Mariel Nuñez
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
maria_ama
 
[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)
[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)
[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)
Jael Gonzalez
 
Algebra de boole johnny anderson chavarria alonzo
Algebra de boole   johnny anderson chavarria alonzoAlgebra de boole   johnny anderson chavarria alonzo
Algebra de boole johnny anderson chavarria alonzo
Johnny Anderson Chavarria Alonzo
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
Simons22
 
inv algbool.
inv algbool.inv algbool.
inv algbool.
Oz Happy Day
 
circuitos digitales avansys
circuitos digitales avansyscircuitos digitales avansys
circuitos digitales avansys
jhonreyes28
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
Ruth Sotelo Landa
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
damarl
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
damarl
 
Circuitos combinacionales
Circuitos combinacionalesCircuitos combinacionales
Circuitos combinacionales
Jesus Mora
 
Las álgebras booleanas
Las álgebras booleanasLas álgebras booleanas
Las álgebras booleanas
zacky8
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatorios
Jesus Olivier Pereira
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
Sheda17
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
Dorila Vargas Aguero
 
El álgebra booleana
El álgebra booleanaEl álgebra booleana
El álgebra booleana
Saulssg
 
El álgebra booleana
El álgebra booleanaEl álgebra booleana
El álgebra booleana
Saulssg
 

Similar a Algebra booleana (20)

álgebra de boole
álgebra de booleálgebra de boole
álgebra de boole
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
 
[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)
[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)
[] Algebra de_boole_y_circuitos_combinacionales(book_za.org)
 
Algebra de boole johnny anderson chavarria alonzo
Algebra de boole   johnny anderson chavarria alonzoAlgebra de boole   johnny anderson chavarria alonzo
Algebra de boole johnny anderson chavarria alonzo
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
inv algbool.
inv algbool.inv algbool.
inv algbool.
 
circuitos digitales avansys
circuitos digitales avansyscircuitos digitales avansys
circuitos digitales avansys
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
Circuitos combinacionales
Circuitos combinacionalesCircuitos combinacionales
Circuitos combinacionales
 
Las álgebras booleanas
Las álgebras booleanasLas álgebras booleanas
Las álgebras booleanas
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatorios
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
 
El álgebra booleana
El álgebra booleanaEl álgebra booleana
El álgebra booleana
 
El álgebra booleana
El álgebra booleanaEl álgebra booleana
El álgebra booleana
 

Último

1. Introduccion a las excavaciones subterraneas (1).pdf
1. Introduccion a las excavaciones subterraneas (1).pdf1. Introduccion a las excavaciones subterraneas (1).pdf
1. Introduccion a las excavaciones subterraneas (1).pdf
raulnilton2018
 
DIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptx
DIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptxDIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptx
DIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptx
KeylaArlethTorresOrt
 
OPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTO
OPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTOOPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTO
OPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTO
GERARDO GONZALEZ
 
Focos SSO Fin de Semana del 31 MAYO A al 02 de JUNIO de 2024.pdf
Focos SSO Fin de Semana del 31 MAYO A  al 02 de JUNIO  de 2024.pdfFocos SSO Fin de Semana del 31 MAYO A  al 02 de JUNIO  de 2024.pdf
Focos SSO Fin de Semana del 31 MAYO A al 02 de JUNIO de 2024.pdf
PatoLokooGuevara
 
Proceso de obtenciòn de nitrogeno por el metodo Haber-Bosh
Proceso de obtenciòn de nitrogeno por el metodo Haber-BoshProceso de obtenciòn de nitrogeno por el metodo Haber-Bosh
Proceso de obtenciòn de nitrogeno por el metodo Haber-Bosh
shirllyleytonm
 
FICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdf
FICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdfFICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdf
FICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdf
jesus869159
 
Cálculo del espesor del conducto forzado
Cálculo del espesor del conducto forzadoCálculo del espesor del conducto forzado
Cálculo del espesor del conducto forzado
KristianSaavedra
 
Infografía de operaciones básicas....pdf
Infografía de operaciones básicas....pdfInfografía de operaciones básicas....pdf
Infografía de operaciones básicas....pdf
jahirrtorresa
 
SLIDEHARE.docx..........................
SLIDEHARE.docx..........................SLIDEHARE.docx..........................
SLIDEHARE.docx..........................
azulsarase
 
Informe Municipal provincial de la ciudad de Tacna
Informe Municipal provincial de la ciudad de TacnaInforme Municipal provincial de la ciudad de Tacna
Informe Municipal provincial de la ciudad de Tacna
BrusCiriloPintoApaza
 
Rinitis alérgica-1.pdfuhycrbibxgvyvyjimomom
Rinitis alérgica-1.pdfuhycrbibxgvyvyjimomomRinitis alérgica-1.pdfuhycrbibxgvyvyjimomom
Rinitis alérgica-1.pdfuhycrbibxgvyvyjimomom
DanielaLoaeza5
 
Operaciones Básicas creadora Veronica Maiz
Operaciones Básicas creadora Veronica MaizOperaciones Básicas creadora Veronica Maiz
Operaciones Básicas creadora Veronica Maiz
carolina838317
 
Ducto Barras para instalaciones electricas
Ducto Barras para instalaciones electricasDucto Barras para instalaciones electricas
Ducto Barras para instalaciones electricas
Edgar Najera
 
PPT suelos ensayo Proctor - laboratorio 4.pdf
PPT suelos ensayo Proctor - laboratorio 4.pdfPPT suelos ensayo Proctor - laboratorio 4.pdf
PPT suelos ensayo Proctor - laboratorio 4.pdf
EgorRamos1
 
Dosificacion de hormigon NCH 170 actualizada
Dosificacion de hormigon NCH 170 actualizadaDosificacion de hormigon NCH 170 actualizada
Dosificacion de hormigon NCH 170 actualizada
pipex55
 
PRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptx
PRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptxPRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptx
PRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptx
ANGELJOELSILVAPINZN
 
chancadoras.............................
chancadoras.............................chancadoras.............................
chancadoras.............................
ssuser8827cb1
 
INGLES_LISTA_DE_VOCABULARIO una lista completa
INGLES_LISTA_DE_VOCABULARIO una lista completaINGLES_LISTA_DE_VOCABULARIO una lista completa
INGLES_LISTA_DE_VOCABULARIO una lista completa
JaimmsArthur
 
Presentación- de motor a combustión -diesel.pptx
Presentación- de motor a combustión -diesel.pptxPresentación- de motor a combustión -diesel.pptx
Presentación- de motor a combustión -diesel.pptx
ronnyrocha223
 
DIAGRAMA DE FLUJO DE ALGORITMO......
DIAGRAMA DE FLUJO   DE   ALGORITMO......DIAGRAMA DE FLUJO   DE   ALGORITMO......
DIAGRAMA DE FLUJO DE ALGORITMO......
taniarivera1015tvr
 

Último (20)

1. Introduccion a las excavaciones subterraneas (1).pdf
1. Introduccion a las excavaciones subterraneas (1).pdf1. Introduccion a las excavaciones subterraneas (1).pdf
1. Introduccion a las excavaciones subterraneas (1).pdf
 
DIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptx
DIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptxDIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptx
DIAPOSITIVA DE LA NORMA ISO 22000 EXPOSICI�N.pptx
 
OPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTO
OPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTOOPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTO
OPERACIONES BÁSICAS (INFOGRAFIA) DOCUMENTO
 
Focos SSO Fin de Semana del 31 MAYO A al 02 de JUNIO de 2024.pdf
Focos SSO Fin de Semana del 31 MAYO A  al 02 de JUNIO  de 2024.pdfFocos SSO Fin de Semana del 31 MAYO A  al 02 de JUNIO  de 2024.pdf
Focos SSO Fin de Semana del 31 MAYO A al 02 de JUNIO de 2024.pdf
 
Proceso de obtenciòn de nitrogeno por el metodo Haber-Bosh
Proceso de obtenciòn de nitrogeno por el metodo Haber-BoshProceso de obtenciòn de nitrogeno por el metodo Haber-Bosh
Proceso de obtenciòn de nitrogeno por el metodo Haber-Bosh
 
FICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdf
FICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdfFICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdf
FICHA TECNICA PRODUCTOS CONGELADOS EMBALAJE.pdf
 
Cálculo del espesor del conducto forzado
Cálculo del espesor del conducto forzadoCálculo del espesor del conducto forzado
Cálculo del espesor del conducto forzado
 
Infografía de operaciones básicas....pdf
Infografía de operaciones básicas....pdfInfografía de operaciones básicas....pdf
Infografía de operaciones básicas....pdf
 
SLIDEHARE.docx..........................
SLIDEHARE.docx..........................SLIDEHARE.docx..........................
SLIDEHARE.docx..........................
 
Informe Municipal provincial de la ciudad de Tacna
Informe Municipal provincial de la ciudad de TacnaInforme Municipal provincial de la ciudad de Tacna
Informe Municipal provincial de la ciudad de Tacna
 
Rinitis alérgica-1.pdfuhycrbibxgvyvyjimomom
Rinitis alérgica-1.pdfuhycrbibxgvyvyjimomomRinitis alérgica-1.pdfuhycrbibxgvyvyjimomom
Rinitis alérgica-1.pdfuhycrbibxgvyvyjimomom
 
Operaciones Básicas creadora Veronica Maiz
Operaciones Básicas creadora Veronica MaizOperaciones Básicas creadora Veronica Maiz
Operaciones Básicas creadora Veronica Maiz
 
Ducto Barras para instalaciones electricas
Ducto Barras para instalaciones electricasDucto Barras para instalaciones electricas
Ducto Barras para instalaciones electricas
 
PPT suelos ensayo Proctor - laboratorio 4.pdf
PPT suelos ensayo Proctor - laboratorio 4.pdfPPT suelos ensayo Proctor - laboratorio 4.pdf
PPT suelos ensayo Proctor - laboratorio 4.pdf
 
Dosificacion de hormigon NCH 170 actualizada
Dosificacion de hormigon NCH 170 actualizadaDosificacion de hormigon NCH 170 actualizada
Dosificacion de hormigon NCH 170 actualizada
 
PRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptx
PRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptxPRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptx
PRACTICA 2 EDAFOLOGÍA TEXTURA DEL SUELO.pptx
 
chancadoras.............................
chancadoras.............................chancadoras.............................
chancadoras.............................
 
INGLES_LISTA_DE_VOCABULARIO una lista completa
INGLES_LISTA_DE_VOCABULARIO una lista completaINGLES_LISTA_DE_VOCABULARIO una lista completa
INGLES_LISTA_DE_VOCABULARIO una lista completa
 
Presentación- de motor a combustión -diesel.pptx
Presentación- de motor a combustión -diesel.pptxPresentación- de motor a combustión -diesel.pptx
Presentación- de motor a combustión -diesel.pptx
 
DIAGRAMA DE FLUJO DE ALGORITMO......
DIAGRAMA DE FLUJO   DE   ALGORITMO......DIAGRAMA DE FLUJO   DE   ALGORITMO......
DIAGRAMA DE FLUJO DE ALGORITMO......
 

Algebra booleana

  • 1. Matemáticas discretas 1 UNIDAD 4 ALGEBRA BOOLEANA El álgebra booleana es un sistema matemático deductivo centrado en los valores cero y uno (falso y verdadero). Es una herramienta fundamental para el análisis y diseño de circuitos digitales. Se utiliza para representar proposiciones lógicas en forma algebraica mediante los operadores binarios "•" y “+”, aceptando entradas binarias y produciendo un solo valor booleano. Fue desarrollado por George Boole. Esta álgebra es un conjunto de reglas matemáticas, similares en algunos aspectos al álgebra convencional, pero que tienen la virtud de corresponder al comportamiento de circuitos basados en dispositivos de conmutación (interruptores, relevadores, transistores, etc). 4.1 TEOREMAS Y POSTULADOS Existen una serie de postulados que definen el álgebra booleana, y éstos se presentan en forma de teoremas, de los cuales expresamos los siguientes: POSTULADOS DEL ÁLGEBRA DE BOOLE Postulado 1. Definición. El álgebra booleana es un sistema algebraico definido en un conjunto B, el cual contiene dos o más elementos y entre los cuales se definen dos operaciones denominadas "suma u operación OR" ( + ) y "producto o multiplicación u operación AND" (). Postulado 2. Existencia de Neutros. Existen en B el elemento neutro de la suma, denominado O y el neutro de la multiplicación, denominado 1, tales que para cualquier elemento x de s: (a) x + O = x (b) x  1 = x Postulado 3. Conmutatividad. Para cada x, y en B: (a) x+y = y+x (b) x  y =y  x Postulado 4. Asociatividad. Para cada x, y, z en B: (a) x + (y + z) = (x + y) + z (b) x  (y  z) = (x  y)  z Postulado 5. Distributividad. Para cada x, y, z en B: (a) x+(y  z)=(x+y)  (x+z) (b) x  (y+z)=(x  y)+(x  z) Postulado 6. Existencia de Complementos. Para cada x en B existe un elemento único denotado x (también denotado x’), llamado complemento de x tal que (a) x+x’ = 1 (b) x  x’ = O TEOREMAS DEL ÁLGEBRA BOOLEANA 1.- Idempotencia x + x = x x ∙ x = x 2.- Identidad de los elementos 0 y 1 x + 1 = 1 x ∙ 0 = 0 3.- Absorción x + (x ∙ y) = x x ∙ (x + y) = x 4.- Complemento de 0 y 1 0’ = 1 1’ = 0
  • 2. Matemáticas discretas 2 5.- Involución (doble negación) (x’)’ = x 6.- Leyes de Morgan (x + y)’ = x’ ∙ y’ (x ∙ y)’ = x’ + y’ La manera de demostrar los teoremas anteriores se puede basar en ideas intuitivas producto de la familiaridad con algún álgebra booleana en particular, (en diagramas de Venn, o bien, en circuitos con switches o en tablas de verdad) con la única condición de que se respete al pie de la letra los 6 postulados fundamentales. Antes de presentar los teoremas es conveniente mencionar el principio que se deriva directamente de la manera en que fueron presentados los seis postulados fundamentales, es decir, cada postulado tiene dos incisos los cuales son duales uno del otro. Principio de Dualidad. Si una expresión booleana es verdadera, su expresión dual también lo es. Expresiones duales. se dicen que son duales dos expresiones, si una se puede obtener de la otra cambiando las operaciones ( + ) por () y viceversa y cambiando los O's por 1 's y viceversa. TABLA DE TEOREMAS DE DUALIDAD DEL ÁLGEBRA BOOLEANA Núm Teorema Dual 1 0A = 0 1 + A = 1 2 1A = A 0 + A = A 3 AA = A A + A = A 4 AA’ = 0 A + A’ = 1 5 AB = BA A + B = B + A 6 ABC = A(BC) A+B+C = A+(B+C) 7 (ABC)’ = A’+B’+C’ (A+B+C)’ = A’B’C’ 8 AB+AC = A(B+C) (A+B)(A+C) = A+BC 9 AB+AB’ = A (A+B)(A+B’) = A 10 A+AB = A A(A+B) = A 11 A+A’B = A+B A(A’+B) = AB 12 CA+CA’B = CA+CB (C+A)(C+A’+B) = (C+A)(C+B) 13 AB+A’C+BC=AB+A’C (A+B)(A’+C)(B+C)=(A+B)(A’+C) 4.2 OPTIMIZACIÓN DE EXPRESIONES BOOLEANAS. El conjunto de reglas que relaciona las entradas con la salida se representa mediante una función lógica, cuyas variables representan las señales de entrada del circuito digital. La función lógica se describe mediante una expresión algebraica, en la cual los operadores del álgebra booleana relacionan las variables intervinientes. Así, la función lógica representa la relación entrada-salida del circuito digital. En el otro sentido, también puede decirse que el circuito digital es la implementación física del conjunto de reglas descrito por la función lógica. El funcionamiento del circuito digital consiste en generar, a partir de las señales de entrada, las señales de salida cuyos valores cumplan las relaciones planteadas como objetivo del circuito.
  • 3. Matemáticas discretas 3 Debido a que las señales de entrada y de salida de los circuitos digitales son señales que sólo pueden presentar dos valores distintos, se les denomina en forma general señales lógicas y por extensión, los circuitos digitales se conocen también como circuitos lógicos. Cuando una función se incrementa con compuertas lógicas, cada literal en la función denota una entrada a una compuerta. 1. Cada literal denota la entrada a una compuerta. 2. Cada termino se implanta con una compuerta. Compuertas lógicas Una compuerta lógica básica es aquella que implementa una operación booleana básica. Se designan con los mismos nombres de la operación que implementan y se identifican mediante símbolos especiales. La compuerta AND La compuerta AND es un circuito con dos o más entradas que opera de tal forma que la salida es igual al producto lógico de las entradas. La compuerta OR La compuerta OR es un circuito que tiene dos o más entradas y cuya salida es igual a la suma lógica de las entradas. La compuerta NOT La compuerta NOT es un circuito que tiene una sola entrada y cuya salida se obtiene realizando el complemento al valor de entrada. La salida de la compuerta es siempre el opuesto de la entrada, por ello, es muy común el uso del término INVERSOR para referirse a esta compuerta. La compuerta NAND La compuerta NAND es un circuito que tiene dos o más entradas y su salida es igual al complemento del producto lógico de las entradas. Opera en forma equivalente a una compuerta AND seguida de un INVERSOR.
  • 4. Matemáticas discretas 4 La compuerta NOR La compuerta NOR es un circuito que tiene dos o más entradas y su salida es igual al complemento de la suma lógica de las entradas. Opera en forma equivalente a una compuerta OR seguida de un INVERSOR. Relación entre tablas de verdad y expresiones booleanas Las tablas de verdad y las expresiones booleanas son formas de representar una función lógica. Se puede encontrar la tabla de verdad de una función lógica a partir de la expresión booleana de dicha función lógica. Para ello se debe evaluar la expresión booleana para cada una de las combinaciones posibles de valores de entrada. Una tabla de verdad describe el valor de una función para cada una de las combinaciones posibles de valores lógicos de las variables. Cada fila de la tabla, contiene la combinación de valores lógicos de las variables de la función y el correspondiente valor de la función para esa combinación. Es decir, que la tabla de verdad muestra explícitamente todos los casos posibles de entrada y sus respectivos resultados (salida). En forma similar, dada la tabla de verdad de una función lógica, se puede encontrar la expresión booleana correspondiente. El Álgebra Booleana utiliza variables y operadores para obtener expresiones lógicas que representan un circuito combinacional. Luego describe una serie de teoremas que utilizaremos para manipular las expresiones lógicas. Si la función está definida para todas las combinaciones se llama completa, si no, se denomina incompleta. Para 4 variables:
  • 5. Matemáticas discretas 5 2.- A partir de la siguiente expresión Booleana se nos pide Que obtengamos su diagrama lógico equivalente
  • 6. Matemáticas discretas 6 Ejemplo El circuito lógico de la Figura recibe en sus terminales de entrada las señales A, B y C. En la terminal de salida S se encuentra conectado un diodo led que se enciende cuando la salida S del circuito se pone en valor ALTO y permanece apagado siempre que la salida S esté en BAJO. Encuentre la función lógica correspondiente.
  • 8. Matemáticas discretas 8 FORMAS CANÓNICAS. Se llama término canónico de una función lógica a todo producto de sumas (Maxitérminos) o suma de productos (minitérminos) en los cuales aparecen todas las variables en su forma directa o complementada. La expresión algebraica en suma de productos o productos de sumas en la que no todos los términos son canónicos recibe el nombre de normalizada o forma NO canónica. EXPRESIÓN CANÓNICA DISYUNTIVA Se define expresión algebraica disyuntiva a la expresión de la función como suma de términos producto. Se dice que la función se encuentra expresada en forma normal disyuntiva o como suma de productos. Expresión algebraica disyuntiva: f (A, B, C) = AB + ABC Se verifican las siguientes propiedades:  Dada la lista completa de miniterminos de n variables, asignando arbitrariamente valores 1 o 0 a cada variable, se verifica que un único minitermino tomará el valor 1.  La fórmula compuesta por los 2n miniterminos tomará el valor 1.  La fórmula canónica disyuntiva o de miniterminos es única.  Toda función puede expresarse como suma de miniterminos. Por ejemplo dada la fórmula disyuntiva se puede pasar a la fórmula canónica disyuntiva aplicando los postulados y propiedades del algebra de Boole. FORMA CANÓNICA DE LA SUMA DE PRODUCTOS La metodología empleada en la transformación de una suma de productos a su forma canónica se basa en la regla 6, que establece que una variable sumada con su complemento es siempre igual a 1; A + A' = 1. Los pasos son los siguientes: o Los términos producto que no contengan la(s) variable(s) del dominio, multiplicarlos por un término formado por dicha variable más el complemento de la misma (regla 6). o Repetir el paso 1 para todos los términos de la expresión que no contengan todas las variables (o sus complementos) del dominio. Resolver los términos intervenidos. Ejemplo Convertir la expresión booleana ABC' + BC + A' a su forma canónica.  El dominio de la expresión es el conjunto de variables A, B y C. Se observa la falta de formato estándar para el segundo y tercer término producto. Sobre ellos se aplicará el procedimiento, para luego volver a agrupar toda la expresión: Término BC BC = BC ·(A+A') = ABC + A'BC Término A’ A' = A'(C+C') = A'C+A'C'; la expresión aún no tiene el formato canónico, entonces multiplicamos cada término por (B+B') A'C(B+B') +A'C'(B+B') = A'BC + A'B'C + A'BC' + A'B'C' ABC' + BC + A' = ABC + A'BC + A'BC + A'B'C + A'BC' + A'B'C‘
  • 9. Matemáticas discretas 9 EXPRESIÓN CANÓNICA CONJUNTIVA Se define expresión algebraica conjuntiva a la expresión de la función como producto de términos suma. Se dice que la función se encuentra expresada en forma normal conjuntiva o como producto de sumas. A la expresión algebraica conjuntiva escrita mediante maxterminos se le denomina fórmula canónica conjuntiva. Expresión algebraica conjuntiva: f (A,B,C) = (A + B + C)(A + B) Se verifican las siguientes propiedades:  Dada la lista completa de maxiterminos de n variables, asignando arbitrariamente 1 o 0 a cada variable, se verifica que un único maxitermino tomará el valor 0.  La fórmula compuesta por los 2n maxiterminos tomará el valor 0.  La fórmula canónica conjuntiva o de maxitermino es única.  Toda función puede expresarse como producto de maxiterminos. Por ejemplo dada la fórmula disyuntiva se puede pasar a la fórmula canónica conjuntiva aplicando los postulados y propiedades del algebra de Boole. FORMA CANÓNICA DEL PRODUCTO DE SUMAS La metodología empleada en la transformación de un producto de sumas a su forma canónica se basa en la regla 8, que establece que una variable multiplicada por su complemento es siempre igual a 0; AA' = 0. Los pasos son los siguientes: o Los términos suma que no contengan la(s) variable(s) del dominio, sumarlos un término formado por dicha variable y su complemento según regla 8. o Aplicar la regla 12: A + BC = (A+B)(A+C) o Repetir el paso 1 para todos los términos de la expresión que no contengan todas las variables (o sus complementos) del dominio. Ejemplo Convertir la expresión booleana (A+B’+C)(B’+C+D’)(A+B’+C+D’) a su forma canónica. Término A+B’+C A+B’+C = A+B’+C+DD’ = (A+B’+C+D)(A+B’+C+D’) Término B’+C+D’ B’+C+D’ = B’+C+D’+AA’ = (A+ B’+C+D’)(A’+ B’+C+D’) (A+B’+C)(B’+C+D’)(A+B’+C+D’) = = (A+B’+C+D)(A+B’+C+D’) (A+ B’+C+D’)(A’+ B’+C+D’) (A+B’+ C+D’)