SlideShare una empresa de Scribd logo
1 de 18
ALGEBRA DE BOOLE
SISTEMAS ELECTRONICOS
DIGITALES

Alumna: RUTH A. SOTELO LANDA
ALGEBRA DE BOOLE
En 1854 GEORGE BOOLE escribió su libro
“TEORIA DEL PENSAMIENTO” en el que
estableció el mecanismo básico del
funcionamiento de la mente humana es
la asociación de elementos simples que
adoptan dos posturas aceptación y
negación (SI y NO, 1 Y 0, Todo y nada). Así
para poder trabajar de una manera más
fácil lo anterior, BOOLE establece un tipo
de algebra (Algebra de Boole) que,
basado en la teoría de los conjuntos,
puede ser empleada al análisis y diseño
de circuitos digitales.
La relación que existe entre la lógica
booleana y los sistemas de cómputo es
fuerte, de hecho se da una relación uno a
uno entre las funciones booleanas y los
circuitos electrónicos de compuertas
digitales.
INTRODUCCIÓN
Tanto la teoría de conjuntos como la lógica de
enunciados tienen propiedades similares. Tales
propiedades se utilizan para definir una
estructura matemática denominada álgebra de
Boole, en honor al matemático George Boole
(1813-1864)
DEFINICIÓN DE ÁLGEBRA DE BOOLE
Sea B un conjunto en el cual se definen dos operaciones binarias, + y *, y una
operación unitaria denotada ; sean 0 y 1 dos elementos diferentes de B.
Entonces la séxtupla:
〈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
[B4] Complemento:
(4a) a + a = 1 (4b) a * a = 0
TERMINOLOGÍA Y CONVENCIONES
• Las operaciones + y * se denominan suma y producto, respectivamente.
• La operación a se denomina complemento de a.
• El elemento 0 se denomina elemento cero (neutro respecto de la suma). 2
• El elemento 1 se denomina elemento unidad (neutro respecto del producto).
• Por convención, omitimos el símbolo *, usándose en su lugar la yuxtaposición; de este
modo, (2a) y (2b) se escriben:

(2a) a + bc = (a + b) (a + c) (2b) a (b + c) = ab + ac
• Por convención, establecemos que + es más fuerte que * y * es más fuerte que ; por
ejemplo:
a + b * c significa a + (b * c) y no (a + b) * c

a * b significa a * (b ) y no (*) a b
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 definición de dualidad puede observarse que, en la definición 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 también es un axioma. En consecuencia,
se cumple el siguiente teorema:

PRINCIPIO DE DUALIDAD: En un álgebra de Boole, el dual de cualquier
teorema es también un teorema.
Esto significa que, si cualquier teorema es una consecuencia de los axiomas de un álgebra
de Boole, entonces el dual también es una consecuencia de estos axiomas ya que se puede
probar usando el dual en cada paso de la demostración original.
TEOREMAS BÁSICOS
Utilizando los axiomas de la definición 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:
Idempotencia:
(5a) a + a = a (5b) a * a = a
Acotamiento:
(6a) a + 1 = 1 (6b) a * 0 = 0
Absorción:
(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:
Unicidad del complemento:
Si a + x = 1 y a * x = 0, entonces x = a
Involución:
a=a
(9a) 0 = 1 (9b) 1 = 0
LEYES DE MORGAN
(10a) a + b =a*b

(10b) a*b= a+ b

Es importante insistir que el álgebra de Boole es la estructura algebraica de la lógica de
enunciados. En efecto, si se reemplazan las variables a, b, c, … por variables proposicionales,
la suma y el producto por la disyunción y la conjunción
respectivamente, el complemento por la negación, 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 lógica de enunciados. Por ejemplo:

(2b) a * (b + c) = (a * b) + (a * c) p ∧ (q ∨ r) ↔ (p ∧ q) ∨ (p ∧ r)
(5a) a + a = a p ∨ p ↔ p
(7a) a + (a * b) = a p ∨ (p ∧ q) ↔ p
(10b) ab a b * = + ¬(p ∧ q) ↔ ¬p ∨ ¬q
FORMA DE SUMA DE PRODUCTOS
Considérese un conjunto de variables a, b, c, d, … .
• Una expresión booleana E en estas variables es o una variable o una expresión
construida con estas variables y usando las operaciones booleanas +, * o .
Por ejemplo, las siguientes son expresiones booleanas:
( )( ) a + bc + abc + ab (( ) ) abc + b + ac
• Un literal es una variable o una variable complementada. Por ejemplo, a, a, b, b son
literales.
• Un producto fundamental es un literal o un producto de dos o más literales en el cual no
hay dos literales con la misma variable. Por ejemplo, ac , abc , a, b, bc, abc son 4
productos fundamentales. En cambio, abac y abcb no son productos fundamentales:
el primero contiene a y a, mientras que el segundo contiene b dos veces.
• Una expresión booleana E está en forma de suma de productos si E es un producto
fundamental o una suma de dos o más productos fundamentales. Por ejemplo, la
siguiente expresión está en suma de productos:
ac + abc + abc
Pero la siguiente expresión no está en forma de suma de productos:
ac + aba + abc
ya que el segundo término no es un producto fundamental.
CIRCUITOS LÓGICOS
Un circuito lógico es un dispositivo que tienen una o más 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 físicas como, por ejemplo, un
voltaje nulo y no nulo en un conductor.
1

1
0

0

1

1
0

0

Los circuitos lógicos se construyen a partir de ciertos circuitos elementales
denominados compuertas lógicas, entre las cuales diferenciaremos:
• Compuertas lógicas básicas: OR, AND, NOT.
• Compuertas lógicas derivadas: NOR, NAND.
COMPUERTA 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:

donde la salida Y=A+B+C+D puede obtenerse asociando los sumandos:
Y ABCD AB CD AB C D =+++ = + + + = + + + ( ) ( ) (( ) )
COMPUERTA AND
En una compuerta AND con entradas A y B, la salida Y resulta:
F=A*B
donde el producto se define por la siguiente tabla:

A

B F=A*B

0

0

0

0

1

1

1

0

1

1

1

1

La compuerta AND se representa
del siguiente modo:

La compuerta AND también puede
tener más de dos entradas:

donde la salida F=A*B*C*D puede obtenerse asociando los factores:
F ABCD AB CD AB C D =∗∗∗ = ∗ ∗ ∗ = ∗ ∗ ∗ ( ) ( ) (( ) )
COMPUERTA NOT
En una compuerta NOT con entrada A, la salida Y resulta:
F=A
donde el complemento se define por la siguiente tabla:

A

F

1

0

0

1

La compuerta NOT se representa del siguiente modo:
COMPUERTAS NOR Y NAND
Las compuertas NOR y NAND no son básicas. 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

Por lo tanto, cuando las entradas son A y B, las salidas de estas compuertas resultan:
• NOR: Y = A+B
• NAND: Y = A*B
CIRCUITOS LÓGICOS
Los circuitos lógicos se forman combinando compuertas lógicas. La salida de un
circuito lógico se obtiene combinando las tablas correspondientes a sus compuertas
componentes.
SIMPLIFICACIÓN DE CIRCUITOS
Expresiones booleanas minimales
Considérese una expresión E en un álgebra de Boole B. Como E puede representar un
circuito lógico, es posible que pretendamos obtener una expresión F que, siendo
equivalente a la expresión original, sea en algún sentido mínima; de esta forma,
lograríamos minimizar la cantidad de compuertas lógicas utilizadas para implementar la
operación buscada, con la consiguiente economía de recursos. Aquí nos concentraremos
en
la forma minimal de las expresiones booleanas que están en forma de suma de
productos.
Si E es una expresión booleana en forma de suma de productos, EL denota el número
de literales en E (contados con sus repeticiones) y ES denota el número de sumandos en
E.
Por ejemplo, si E es la siguiente expresión:
abc ab+d+ abcd+ abcd
entonces EL=14 y ES=4.
Sea ahora F una expresión booleana de suma de productos equivalente a E. Decimos
que E es más simple que F si se cumple que:
EL ≤ FL y ES ≤ FS
y por lo menos una de las relaciones es una desigualdad estricta
MAPAS DE KARNAUGH
El método de los mapas de Karnaugh es un método gráfico para encontrar las formas
minimales de sumas de productos para expresiones booleanas que involucran un máximo
de seis variables. Aquí sólo trataremos los casos de dos, tres y cuatro variables.
Dado un conjunto de variables {A1, A2, …, AN}, pueden con ellas formarse los
productos fundamentales Pi que contienen todas las variables, o bien en su forma
complementada o bien en su forma no complementada. De tales productos fundamentales,
se dice que P1 y P2 son adyacentes si difieren exactamente en un literal, el cual tiene que
ser una variable complementada en uno de los productos y no complementada en el otro.
Por ejemplo, si el conjunto de variables es {A, B, C, D}:
• Entre los productos fundamentales ABC, ABC, ACD no puede predicarse la relación
de adyacencia, porque tales productos no contienen todas las variables.

• Los pares de productos ABCD y ABCD, o ABCD y ABCD, o ABCD y ABCD no
son adyacentes porque difieren en más de un literal.
• Los pares de productos ABCD y ABCD, o ABCD y ABCD, o ABCD y ABCD son
adyacentes, porque difieren exactamente en un literal, que es una variable
complementada en uno de los productos y no complementada en el otro.
En un mapa de Karnaugh, cada uno de los productos fundamentales Pi que contienen
todas las variables es representado gráficamente por un cuadrado, y la relación de
adyacencia entre tales productos es representada por la adyacencia geométrica.
• EJEMPLOS:

Más contenido relacionado

La actualidad más candente (20)

[Maths] 6.3.1 algebras de boole
[Maths] 6.3.1 algebras de boole[Maths] 6.3.1 algebras de boole
[Maths] 6.3.1 algebras de boole
 
Algebra de Boole
Algebra de BooleAlgebra de Boole
Algebra de Boole
 
Algebra Booleana 2
Algebra Booleana 2Algebra Booleana 2
Algebra Booleana 2
 
Compuertas logicas
Compuertas logicasCompuertas logicas
Compuertas logicas
 
Algebra de Boole
Algebra de Boole  Algebra de Boole
Algebra de Boole
 
Unidad 1 fundamentos de circuitos logicos
Unidad 1 fundamentos de circuitos logicosUnidad 1 fundamentos de circuitos logicos
Unidad 1 fundamentos de circuitos logicos
 
UD2 Mapas Karnaugh
UD2 Mapas KarnaughUD2 Mapas Karnaugh
UD2 Mapas Karnaugh
 
Ejercicios
EjerciciosEjercicios
Ejercicios
 
busquedas con adversarios
busquedas con adversariosbusquedas con adversarios
busquedas con adversarios
 
Leyes Boole
Leyes BooleLeyes Boole
Leyes Boole
 
Algebra de boole_1
Algebra de boole_1Algebra de boole_1
Algebra de boole_1
 
Definición de compuertas logicas
Definición de compuertas logicasDefinición de compuertas logicas
Definición de compuertas logicas
 
GRAMATICAS AMBIGUAS
GRAMATICAS AMBIGUASGRAMATICAS AMBIGUAS
GRAMATICAS AMBIGUAS
 
Codificacion de Maquina de Turing
Codificacion de Maquina de TuringCodificacion de Maquina de Turing
Codificacion de Maquina de Turing
 
Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Automatas de pila
Automatas de pilaAutomatas de pila
Automatas de pila
 
Tema 3 - Algebra de Boole.pdf
Tema 3 - Algebra de Boole.pdfTema 3 - Algebra de Boole.pdf
Tema 3 - Algebra de Boole.pdf
 
tema 01 sistemas digitales
tema 01 sistemas digitalestema 01 sistemas digitales
tema 01 sistemas digitales
 

Destacado (11)

Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra de Boole
Algebra de BooleAlgebra de Boole
Algebra de Boole
 
Aulas 10 e 11 - Álgebra de Boole
Aulas 10 e 11 - Álgebra de BooleAulas 10 e 11 - Álgebra de Boole
Aulas 10 e 11 - Álgebra de Boole
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 
Algebra de boole libro
Algebra  de   boole  libroAlgebra  de   boole  libro
Algebra de boole libro
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
Álgebra Booleana
Álgebra BooleanaÁlgebra Booleana
Álgebra Booleana
 
Hoja de datos de 74181 alu
Hoja de datos de 74181 aluHoja de datos de 74181 alu
Hoja de datos de 74181 alu
 
ALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOSALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOS
 

Similar a Algebra de boole

Ap circuitos
Ap circuitosAp circuitos
Ap circuitosjuc309
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfJoelMarcosCopa1
 
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
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicosdukefirula
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfExample404
 
algebra-booleana matematicas discretas
algebra-booleana matematicas discretasalgebra-booleana matematicas discretas
algebra-booleana matematicas discretastomas vergersent
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezexdrago23
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezangelesvillanueva
 
[] 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
 
Slideshare maria
Slideshare mariaSlideshare maria
Slideshare mariamibb204
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanajesusmora18
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologicoMaira Montes de Oca
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologicoMaira Montes de Oca
 

Similar a Algebra de boole (20)

Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 
Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 
Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdf
 
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 ...
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicos
 
AlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdfAlgebraBooleana_CircuitosLogicos.pdf
AlgebraBooleana_CircuitosLogicos.pdf
 
algebra-booleana matematicas discretas
algebra-booleana matematicas discretasalgebra-booleana matematicas discretas
algebra-booleana matematicas discretas
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalez
 
María de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalezMaría de los ángeles villanueva cañizalez
María de los ángeles villanueva cañizalez
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
 
[] 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)
 
Slideshare maria
Slideshare mariaSlideshare maria
Slideshare maria
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
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
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Algebra boole
Algebra boole Algebra boole
Algebra boole
 

Último

prostitución en España: una mirada integral!
prostitución en España: una mirada integral!prostitución en España: una mirada integral!
prostitución en España: una mirada integral!CatalinaAlfaroChryso
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024IES Vicent Andres Estelles
 
Biografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdfBiografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdfGruberACaraballo
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIAFabiolaGarcia751855
 
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...JAVIER SOLIS NOYOLA
 
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docxPLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docxiemerc2024
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfapunteshistoriamarmo
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024IES Vicent Andres Estelles
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Juan Martín Martín
 
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...JoseMartinMalpartida1
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxFernando Solis
 
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...jlorentemartos
 
AEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxAEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxhenarfdez
 
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptxCONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptxroberthirigoinvasque
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Katherine Concepcion Gonzalez
 
Louis Jean François Lagrenée. Erotismo y sensualidad. El erotismo en la Hist...
Louis Jean François Lagrenée.  Erotismo y sensualidad. El erotismo en la Hist...Louis Jean François Lagrenée.  Erotismo y sensualidad. El erotismo en la Hist...
Louis Jean François Lagrenée. Erotismo y sensualidad. El erotismo en la Hist...Ars Erótica
 

Último (20)

prostitución en España: una mirada integral!
prostitución en España: una mirada integral!prostitución en España: una mirada integral!
prostitución en España: una mirada integral!
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
Biografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdfBiografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdf
 
Los dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la VerdadLos dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la Verdad
 
Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 
Usos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicasUsos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicas
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
 
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
 
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docxPLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdf
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024
 
Power Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptxPower Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptx
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
 
AEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxAEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptx
 
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptxCONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
 
Louis Jean François Lagrenée. Erotismo y sensualidad. El erotismo en la Hist...
Louis Jean François Lagrenée.  Erotismo y sensualidad. El erotismo en la Hist...Louis Jean François Lagrenée.  Erotismo y sensualidad. El erotismo en la Hist...
Louis Jean François Lagrenée. Erotismo y sensualidad. El erotismo en la Hist...
 

Algebra de boole

  • 1. ALGEBRA DE BOOLE SISTEMAS ELECTRONICOS DIGITALES Alumna: RUTH A. SOTELO LANDA
  • 2. ALGEBRA DE BOOLE En 1854 GEORGE BOOLE escribió su libro “TEORIA DEL PENSAMIENTO” en el que estableció el mecanismo básico del funcionamiento de la mente humana es la asociación de elementos simples que adoptan dos posturas aceptación y negación (SI y NO, 1 Y 0, Todo y nada). Así para poder trabajar de una manera más fácil lo anterior, BOOLE establece un tipo de algebra (Algebra de Boole) que, basado en la teoría de los conjuntos, puede ser empleada al análisis y diseño de circuitos digitales. La relación que existe entre la lógica booleana y los sistemas de cómputo es fuerte, de hecho se da una relación uno a uno entre las funciones booleanas y los circuitos electrónicos de compuertas digitales.
  • 3. INTRODUCCIÓN Tanto la teoría de conjuntos como la lógica de enunciados tienen propiedades similares. Tales propiedades se utilizan para definir una estructura matemática denominada álgebra de Boole, en honor al matemático George Boole (1813-1864)
  • 4. DEFINICIÓN DE ÁLGEBRA DE BOOLE Sea B un conjunto en el cual se definen dos operaciones binarias, + y *, y una operación unitaria denotada ; sean 0 y 1 dos elementos diferentes de B. Entonces la séxtupla: 〈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 [B4] Complemento: (4a) a + a = 1 (4b) a * a = 0
  • 5. TERMINOLOGÍA Y CONVENCIONES • Las operaciones + y * se denominan suma y producto, respectivamente. • La operación a se denomina complemento de a. • El elemento 0 se denomina elemento cero (neutro respecto de la suma). 2 • El elemento 1 se denomina elemento unidad (neutro respecto del producto). • Por convención, omitimos el símbolo *, usándose en su lugar la yuxtaposición; de este modo, (2a) y (2b) se escriben: (2a) a + bc = (a + b) (a + c) (2b) a (b + c) = ab + ac • Por convención, establecemos que + es más fuerte que * y * es más fuerte que ; por ejemplo: a + b * c significa a + (b * c) y no (a + b) * c a * b significa a * (b ) y no (*) a b
  • 6. 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 definición de dualidad puede observarse que, en la definición 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 también es un axioma. En consecuencia, se cumple el siguiente teorema: PRINCIPIO DE DUALIDAD: En un álgebra de Boole, el dual de cualquier teorema es también un teorema. Esto significa que, si cualquier teorema es una consecuencia de los axiomas de un álgebra de Boole, entonces el dual también es una consecuencia de estos axiomas ya que se puede probar usando el dual en cada paso de la demostración original.
  • 7. TEOREMAS BÁSICOS Utilizando los axiomas de la definición 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: Idempotencia: (5a) a + a = a (5b) a * a = a Acotamiento: (6a) a + 1 = 1 (6b) a * 0 = 0 Absorción: (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: Unicidad del complemento: Si a + x = 1 y a * x = 0, entonces x = a Involución: a=a (9a) 0 = 1 (9b) 1 = 0
  • 8. LEYES DE MORGAN (10a) a + b =a*b (10b) a*b= a+ b Es importante insistir que el álgebra de Boole es la estructura algebraica de la lógica de enunciados. En efecto, si se reemplazan las variables a, b, c, … por variables proposicionales, la suma y el producto por la disyunción y la conjunción respectivamente, el complemento por la negación, 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 lógica de enunciados. Por ejemplo: (2b) a * (b + c) = (a * b) + (a * c) p ∧ (q ∨ r) ↔ (p ∧ q) ∨ (p ∧ r) (5a) a + a = a p ∨ p ↔ p (7a) a + (a * b) = a p ∨ (p ∧ q) ↔ p (10b) ab a b * = + ¬(p ∧ q) ↔ ¬p ∨ ¬q
  • 9. FORMA DE SUMA DE PRODUCTOS Considérese un conjunto de variables a, b, c, d, … . • Una expresión booleana E en estas variables es o una variable o una expresión construida con estas variables y usando las operaciones booleanas +, * o . Por ejemplo, las siguientes son expresiones booleanas: ( )( ) a + bc + abc + ab (( ) ) abc + b + ac • Un literal es una variable o una variable complementada. Por ejemplo, a, a, b, b son literales. • Un producto fundamental es un literal o un producto de dos o más literales en el cual no hay dos literales con la misma variable. Por ejemplo, ac , abc , a, b, bc, abc son 4 productos fundamentales. En cambio, abac y abcb no son productos fundamentales: el primero contiene a y a, mientras que el segundo contiene b dos veces. • Una expresión booleana E está en forma de suma de productos si E es un producto fundamental o una suma de dos o más productos fundamentales. Por ejemplo, la siguiente expresión está en suma de productos: ac + abc + abc Pero la siguiente expresión no está en forma de suma de productos: ac + aba + abc ya que el segundo término no es un producto fundamental.
  • 10. CIRCUITOS LÓGICOS Un circuito lógico es un dispositivo que tienen una o más 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 físicas como, por ejemplo, un voltaje nulo y no nulo en un conductor. 1 1 0 0 1 1 0 0 Los circuitos lógicos se construyen a partir de ciertos circuitos elementales denominados compuertas lógicas, entre las cuales diferenciaremos: • Compuertas lógicas básicas: OR, AND, NOT. • Compuertas lógicas derivadas: NOR, NAND.
  • 11. COMPUERTA 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: donde la salida Y=A+B+C+D puede obtenerse asociando los sumandos: Y ABCD AB CD AB C D =+++ = + + + = + + + ( ) ( ) (( ) )
  • 12. COMPUERTA AND En una compuerta AND con entradas A y B, la salida Y resulta: F=A*B donde el producto se define por la siguiente tabla: A B F=A*B 0 0 0 0 1 1 1 0 1 1 1 1 La compuerta AND se representa del siguiente modo: La compuerta AND también puede tener más de dos entradas: donde la salida F=A*B*C*D puede obtenerse asociando los factores: F ABCD AB CD AB C D =∗∗∗ = ∗ ∗ ∗ = ∗ ∗ ∗ ( ) ( ) (( ) )
  • 13. COMPUERTA NOT En una compuerta NOT con entrada A, la salida Y resulta: F=A donde el complemento se define por la siguiente tabla: A F 1 0 0 1 La compuerta NOT se representa del siguiente modo:
  • 14. COMPUERTAS NOR Y NAND Las compuertas NOR y NAND no son básicas. 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 Por lo tanto, cuando las entradas son A y B, las salidas de estas compuertas resultan: • NOR: Y = A+B • NAND: Y = A*B
  • 15. CIRCUITOS LÓGICOS Los circuitos lógicos se forman combinando compuertas lógicas. La salida de un circuito lógico se obtiene combinando las tablas correspondientes a sus compuertas componentes.
  • 16. SIMPLIFICACIÓN DE CIRCUITOS Expresiones booleanas minimales Considérese una expresión E en un álgebra de Boole B. Como E puede representar un circuito lógico, es posible que pretendamos obtener una expresión F que, siendo equivalente a la expresión original, sea en algún sentido mínima; de esta forma, lograríamos minimizar la cantidad de compuertas lógicas utilizadas para implementar la operación buscada, con la consiguiente economía de recursos. Aquí nos concentraremos en la forma minimal de las expresiones booleanas que están en forma de suma de productos. Si E es una expresión booleana en forma de suma de productos, EL denota el número de literales en E (contados con sus repeticiones) y ES denota el número de sumandos en E. Por ejemplo, si E es la siguiente expresión: abc ab+d+ abcd+ abcd entonces EL=14 y ES=4. Sea ahora F una expresión booleana de suma de productos equivalente a E. Decimos que E es más simple que F si se cumple que: EL ≤ FL y ES ≤ FS y por lo menos una de las relaciones es una desigualdad estricta
  • 17. MAPAS DE KARNAUGH El método de los mapas de Karnaugh es un método gráfico para encontrar las formas minimales de sumas de productos para expresiones booleanas que involucran un máximo de seis variables. Aquí sólo trataremos los casos de dos, tres y cuatro variables. Dado un conjunto de variables {A1, A2, …, AN}, pueden con ellas formarse los productos fundamentales Pi que contienen todas las variables, o bien en su forma complementada o bien en su forma no complementada. De tales productos fundamentales, se dice que P1 y P2 son adyacentes si difieren exactamente en un literal, el cual tiene que ser una variable complementada en uno de los productos y no complementada en el otro. Por ejemplo, si el conjunto de variables es {A, B, C, D}: • Entre los productos fundamentales ABC, ABC, ACD no puede predicarse la relación de adyacencia, porque tales productos no contienen todas las variables. • Los pares de productos ABCD y ABCD, o ABCD y ABCD, o ABCD y ABCD no son adyacentes porque difieren en más de un literal. • Los pares de productos ABCD y ABCD, o ABCD y ABCD, o ABCD y ABCD son adyacentes, porque difieren exactamente en un literal, que es una variable complementada en uno de los productos y no complementada en el otro. En un mapa de Karnaugh, cada uno de los productos fundamentales Pi que contienen todas las variables es representado gráficamente por un cuadrado, y la relación de adyacencia entre tales productos es representada por la adyacencia geométrica.