VI - MATUTINO

ALGEBRA DE BOOLE
Sistemas Digitales

INTEGRANTES:
PABLO CHILAN
RODRIGUEZ CRISTHIAN
LUCAS DENISSE

Universidad Estatal del Sur de Manab

Creada mediante Ley publicada en el Registro Oficial N 261 del 7 de Febrero del ao 2001
UNIDAD ACADEMICA DE CIENCIAS INFORMTICAS Y SISTEMAS
CARRERA DE INGENIERIA EN SISTEMAS COMPUTACIONALES

LGEBRA DE BOOLE
lgebra de Boole (tambin llamada lgebra booleana) en
informtica y matemtica, es una estructura algebraica que
esquematiza las operaciones lgicas Y, O, NO y SI (AND, OR,
NOT, IF), as como el conjunto de operaciones unin,
interseccin y complemento.

HISTORIA
Se denomina as en honor a George Boole (2 de noviembre de
1815 a 8 de diciembre de 1864), matemtico ingls
autodidacta, que fue el primero en definirla como parte de un
sistema lgico, inicialmente en un pequeo folleto: The
Mathematical Analysis of Logic, publicado en 1847, en
respuesta a una controversia en curso entre Augustus De
Morgan y sir William Rowan Hamilton. El lgebra de Boole fue
un intento de utilizar las tcnicas algebraicas para tratar
expresiones de la lgica proposicional. Ms tarde fue extendido
como un libro ms importante: An Investigation of the Laws of
Thought on Which are Founded the Mathematical Theories of
Logic and Probabilities (tambin conocido como An
Investigation of the Laws of Thought2 o simplemente The
Laws of Thought), publicado en 1854.

Las interpretaciones respectivas de los smbolos 0 y 1

en el sistema de lgica son Nada y Universo. George
Boole
En la actualidad, el lgebra de Boole se aplica de forma
generalizada en el mbito del diseo electrnico. Claude
Shannon fue el primero en aplicarla en el diseo de circuitos
de conmutacin elctrica biestables, en 1948. Esta lgica se
puede aplicar a dos campos:
Al anlisis, porque es una forma concreta de describir cmo
funcionan los circuitos.
Al diseo, ya que teniendo una funcin aplicamos dicha
lgebra, para poder desarrollar una implementacin de la
funcin.
6

SISTEMAS DIGITALES
VI Semestre seccin Matutina

Universidad Estatal del Sur de Manab

Creada mediante Ley publicada en el Registro Oficial N 261 del 7 de Febrero del ao 2001
UNIDAD ACADEMICA DE CIENCIAS INFORMTICAS Y SISTEMAS
CARRERA DE INGENIERIA EN SISTEMAS COMPUTACIONALES

DEFINICIN
Un lgebra de boole es un sistema de elementos b= {0,1} y
los operadores binarios () y (+) y () definidos de la siguiente
forma.

OPERADOR + OPERADOR OR
OPERADOR OPERADOR AND
OPERADOR OPERADOR NOT

PROPIEDADES
1. PROPIEDAD CONMUTATIVA:
A+B=B+A
AB=BA
2. ASOCIATIVIDAD
A + (B + C) = (A +B ) +C
A (B C) = (A B ) C
3. PROPIEDAD DISTRIBUTIVA:
A(B+C) = AB + AC
A + BC = (A+B)(A+C)
4. ELEMENTOS NEUTROS DIFERENTES
A+0=A
A1=A
5. SIEMPRE EXISTE
DENOMINADO A

EL

A + A = 1
A A = 0

SISTEMAS DIGITALES
VI Semestre seccin Matutina

COMPLEMENTO

DE

A,

Universidad Estatal del Sur de Manab

Creada mediante Ley publicada en el Registro Oficial N 261 del 7 de Febrero del ao 2001
UNIDAD ACADEMICA DE CIENCIAS INFORMTICAS Y SISTEMAS
CARRERA DE INGENIERIA EN SISTEMAS COMPUTACIONALES

PRINCIPIO DE DUALIDAD: cualquier teorema o identidad

algebraica deducible de los postulados anteriores puede
transformarse en un segundo teorema o identidad vlida sin
ms que intercambiar (+) por () y 1 por 0.
CONSTANTE: cualquier elemento del conjunto B
VARIABLE: smbolo que representa un elemento arbitrario del
lgebra, ya sea constante o frmula completa.

TEOREMAS DEL LGEBRA DE BOOLE

TEOREMA 1: el elemento complemento A es nico.
TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se
verifica:
A+1 = 1
A0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro.
0=1
1=0
TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se
verifica:
A+A=A
AA=A
TEOREMA 5 (INVOLUCIN): para cada elemento de B, se
verifica: (A) = A
TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se
verifica:
A+AB=A
A(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica:
A + AB = A + B
A (A + B) = A B
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores
binarios (+) y () cumple la propiedad asociativa:
A+(B+C) = (A+B)+C
A(BC) = (AB)C
6

SISTEMAS DIGITALES
VI Semestre seccin Matutina

Universidad Estatal del Sur de Manab

Creada mediante Ley publicada en el Registro Oficial N 261 del 7 de Febrero del ao 2001
UNIDAD ACADEMICA DE CIENCIAS INFORMTICAS Y SISTEMAS
CARRERA DE INGENIERIA EN SISTEMAS COMPUTACIONALES

LEYES DE MORGAN: para cada par de elementos de B, se verifica:

(A+B) = AB
(AB) = A + B

FUNCIONES BSICAS
Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede
implementar cualquier funcin lgica.
Puerta AND, puerta OR e INVERSOR
Puerta AND e INVERSOR
Puerta OR e INVERSOR
FUNCIN NOR, PUERTA NOR: Es tambin un conjunto completo

FUNCIN NAND, PUERTA NAND: Es tambin un conjunto completo

SISTEMAS DIGITALES
VI Semestre seccin Matutina

Universidad Estatal del Sur de Manab

Creada mediante Ley publicada en el Registro Oficial N 261 del 7 de Febrero del ao 2001
UNIDAD ACADEMICA DE CIENCIAS INFORMTICAS Y SISTEMAS
CARRERA DE INGENIERIA EN SISTEMAS COMPUTACIONALES

Link bibliografa:
http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_04
05.pdf
http://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
http://galia.fc.uaslp.mx/~uragani/algebra1/Textos/Algebra_Boole.pd
f
http://www.matematicasypoesia.com.es/ProbBoolePropo/ProbAlgBy
PPreg.htm

MATERIAL DE APOYO
Primera hoja CRISTHIAN
Teorema y funciones PABLO

SISTEMAS DIGITALES
VI Semestre seccin Matutina

Universidad Estatal del Sur de Manab

Creada mediante Ley publicada en el Registro Oficial N 261 del 7 de Febrero del ao 2001
UNIDAD ACADEMICA DE CIENCIAS INFORMTICAS Y SISTEMAS
CARRERA DE INGENIERIA EN SISTEMAS COMPUTACIONALES

SISTEMAS DIGITALES
VI Semestre seccin Matutina