Álgebra de Boole

Ir a la navegaciónIr a la búsqueda

El álgebra de Boole, también llamada álgebra booleana, en electrónica

digital, informática y matemática es una estructura
algebraica que esquematiza las operaciones lógicas.

Índice

 1Historia

 2Definición

 3Principio

o 3.1Axiomas necesarios

o 3.2Teoremas fundamentales

o 3.3Orden en el álgebra de Boole

o 3.4Principio de dualidad

 4Otras formas de notación del álgebra de Boole

 5Estructuras algebraicas que son álgebra de Boole

o 5.1Lógica binaria

 5.1.1Axiomas

 5.1.2Teoremas fundamentales
  5.1.3Orden en el álgebra de Boole

o 5.2Álgebra de conjuntos

 5.2.1Axiomas

 5.2.2Teoremas fundamentales

 5.2.3Orden en el álgebra de Boole

o 5.3Lógica proposicional

 5.3.1Axiomas

 5.3.2Teoremas fundamentales

 5.3.3Orden en el álgebra de Boole

 6Operaciones en álgebra de Boole

o 6.1Operaciones por el número de argumentos

 6.1.1Sin argumentos

 6.1.2Con un argumento

 6.1.3Con dos argumentos

o 6.2Operaciones nularias

o 6.3Operaciones unarias

o 6.4Operaciones binarias

 7Fórmula de Boole bien formada

o 7.1Jerarquía de los operadores

 8Véase también

 9Referencias

o 9.1Bibliografía

o 9.2Enlaces externos

Historia[editar]
Se denomina así en honor a George Boole (02 de noviembre de 1815 a 8 de
diciembre de 1864), matemático inglés autodidacta, que fue el primero en definirla
como parte de un sistema lógico, inicialmente en un pequeño folleto, The Mathematical
Analysis of Logic,1 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 técnicas algebraicas para tratar expresiones de la lógica
proposicional. Más tarde fue extendido como un libro más importante: An Investigation
of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and
Probabilities (también conocido como An Investigation of the Laws of Thought 2 o
simplemente The Laws of Thought3), publicado en 1854.
Las interpretaciones respectivas de los símbolos 0 y 1 en el sistema de lógica son Nada y Universo.

George Boole4

En la actualidad, el álgebra de Boole se aplica de forma generalizada en el ámbito del

diseño electrónico. Claude Shannon fue el primero en aplicarla en el diseño de circuitos
de conmutación eléctrica biestables, en 1948. Esta lógica se puede aplicar a dos
campos:

 Al análisis, porque es una forma concreta de describir cómo funcionan los circuitos.
 Al diseño, ya que teniendo una función se aplica dicha álgebra para poder
desarrollar una implementación de la función.

Definición[editar]
Dado un conjunto  en el que se han definido dos leyes de composición interna . La
estructura es un álgebra de Boole si y solo si es un Retículo distributivo,5 esto es:
  es distributiva respecto a :
  es distributiva respecto a 
Basándose en esta definición se determina el siguiente...
Principio[editar]
Dado un conjunto:  formado cuando menos por los elementos:  en el que se ha
definido:

 Una operación unaria interna, que llamaremos complemento:

En esta operación definimos una aplicación que, a cada elemento a de B, le asigna
un b de B.
Para todo elemento a en B, se cumple que existe un único b en B, tal que b es el
complemento de a.

 La operación binaria interna, que llamaremos suma:

por la que definimos una aplicación que, a cada par ordenado (a, b) de B por B, le
asigna un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un único c en B, tal
que c es el resultado de sumar a con b.

 La operación binaria interna, que

llamaremos producto:
Con lo que definimos una aplicación que, a cada par ordenado (a, b) de B por B, le
asigna un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un único c en B, tal
que c es el resultado del producto a y b.
Dada la definición del álgebra de
Boole como una estructura
algebraica genérica, según el caso
concreto de que se trate, la
simbología y los nombres de las
operaciones pueden variar.
Axiomas necesarios[editar]
Diremos que este conjunto y las
operaciones así definidas:  son
un álgebra de boole, si cumple las
siguientes axiomas:

 1a: La ley asociativa de la
suma:

 1b: La ley asociativa del

producto:

 2a: Existencia
del elemento
neutro para la suma:
 2b: Existencia del
elemento neutro
para el producto:

 3a: La
ley conmutati
va de la
suma:

 3b: La ley
conmutati
va del
producto:

 4a:
Ley d
istrib
utiva 
de la
suma
respe
cto al
produ
cto:

 4
b:
L
e
y
di
st
ri
b
ut
iv
a
d
el
p
r
o
d
u
ct
o
r
e
s
p
 e
ct
o
a
la
s
u
m
a:

 5
a
:
E
xi
s
t
e 
e
l
e
m
e
n
t
o
c
o
m
p
l
e
m
e
n
t
a
ri
o 
p
a
r
a
l
a
s
u
m
a
:
 5b
:
Ex
ist
e
el
e
m
en
to
co
m
pl
e
m
en
tar
io
pa
ra
el
pr
od
uc
to:
T
e
o
r
e
m
a
s

f
u
n
d
a
m
e
n
t
a
l
e
s
[
e
d
it
a
r
]
P
a
r
ti
e
n
d
o
d
e
l
o
s
c
i
n
c
o
a
x
i
o
m
a
s
a
n
t
e
ri
o
r
e
s
,
s
e
p
u
e
d
e
n 
d
e
d
u
c
ir 
y 
d
e
m
o
s
t
r
a
r 
l
o
s
s
i
g
u
i
e
n
t
e
s 
t
e
o
r
e
m
a
s 
f
u
n
d
a
m
e
n
t
a
l
e
s
:

 Le
y
de 
id
e
m
po
te
nci
a 
pa
ra
la
su
m
a:

 Ley de
idemp
otenci
a para
el
produ
cto:

 Ley
de absorci
ón para la
suma:

 Ley de
absorción
para el
producto:
  Ley de iden
para la sum

 Ley de iden
el producto:

 Ley de invo

 10: Ley del

 11: Leyes d
Orden en e
Boole[editar
Sea:  un álgeb
sean a, b dos
podremos dec
que a anteced
si se cumple a
condiciones:
Estas cuatro c
equivalentes y
ellas implica n
cumplimiento
un conjunto pa
Si se cumple q
Para los valor
que a anteced
dice que a y b
Si se cumple q
Para los valor
Adición Producto antecede a b,
que a y b son 
1
Principio d
2 El concepto de
hecho: a toda
3 corresponderá
intercambio de
4
de producto,
5
Otras formas de notación del álgebra de
6 Boole[editar]
7

9
En Lógica binaria se suele emplear la notación , común en la tecnología digital, siendo
la forma más usual y la más cómoda de representar.
Por ejemplo la
así:
Cuando el álg
emplearse la m
lógica AND (Y
ocasiones con
Y), NOR (NO
pueden repres
y pueden toma
Empleando es
representan:
En su aplicaci
pueden tomar
{0, 1}
Con la notació
En el formato
aspecto: 
En esta notac
Otra forma en
Morgan serían
Desde el punt
expresiones b
suma (+) se re
ningún signo,
sucesión de d
dos letras.
La representa
minúsculas pa
y así, emplean
Todas estas fo
bibliografía. La
depende de la
otra notación.

Estructur
Hay numeroso
Boole, aunque
ellos, con el p
aplicación y di
Lógica bina
Artículo principal: 

Artículo principal: 

Artículo principal: 

Artículo principal: 

Artículo principal: 

Artículo principal: 

Artículo principal: 

Una serie de t
en los ceros y
que en ocasio
exclusivament
dos valores co
sin pérdida de
Donde:

 La operació
La operación u
un b de {0,1}.
Para todo elem
tabla.

 La operació
Con la operac
Para todo par

 la operación
Con la operac
Para todo par
puede ver en
Axiomas[edita
Así  es un álg

 1a: La ley a

 1b: La ley a
 2a: Existenc

 2b: Existenc

 3a: La ley c

 3b: La ley c

 4a: Ley dist

 4b: Ley dist

 5a: Existe e

 5b: Existe e
Luego  es álge
Teoremas fund
Partiendo de e

 6a: Ley de i

 6b: Ley de i

 7a: Ley de a

 7b: Ley de a

 8a: Ley de i

 8b: Ley de i

 9: Ley de in

 10: Ley del

 11: Leyes d
Orden en el álg
Partiendo de  
entonces a es
Estas cuatro c
denotamos:
Si además sab
La operación unaria interna, que llamaremos complemento:

La primera operación binaria la llamaremos unión:

La segunda operación binaria la llamaremos intersección:

1a: La ley asociativa de la unión:

1b: La ley asociativa de la intersección:

2a: Existencia del elemento neutro para la unión:

2b: Existencia del elemento neutro para la intersección:

3a: La ley conmutativa de la unión:

3b: La ley conmutativa de la intersección:

4a: Ley distributiva de la unión respecto de la intersección:

 4b: Ley distributiva de la intersección respecto a la unión:

5a: Existe elemento complementario para la unión:

5b: Existe elemento complementario para la intersección:

6a: Ley de idempotencia para la unión:

6b: Ley de idempotencia para la intersección:

7a: Ley de absorción para la unión:

7b: Ley de absorción para la intersección:

8a: Ley de identidad para la unión:

8b: Ley de identidad para la intersección:

9: Ley de involución:

10: Ley del complemento:

11: Leyes de De Morgan:

e B y lo denotamos:

ersección de B y el complemento de U es el conjunto vacío, entonces B es igual o un subconjunto

stas, como ya se mencionó, las cuatro condiciones son equivalentes y el cumplimiento de una de

, por ejemplo:

'Hoy es miércoles.'
'El edificio es alto.'
'El perro está ladrando.'

'x = 3'
'mcd(a, b) = 2n + 1'

p= 'Llueve'
q= 'Llueve mucho'
r= 'Llevo paraguas'
s= 'La calle está mojada'
osiciones es un álgebra de Boole, además consideraremos:

La operación unaria interna, que llamaremos negación:

La primera operación binaria interna, que llamaremos disyunción:

a y b.

La segunda operación binaria interna, que llamaremos conjunción:

ción de a y b.
 1a: La ley asociativa de la disyunción:

1b: La ley asociativa de la conjunción:

2a: Existencia del elemento neutro para la disyunción:

2b: Existencia del elemento neutro para la conjunción:

3a: La ley conmutativa de la disyunción:

3b: La ley conmutativa de la conjunción:

4a: Ley distributiva de la disyunción respecto a la conjunción:

4b: Ley distributiva de la conjunción respecto al disyunción:

5a: Existe elemento complementario para la disyunción:

5b: Existe elemento complementario para la conjunción:

6a: Ley de idempotencia para la disyunción:

6b: Ley de idempotencia para la conjunción:

7a: Ley de absorción para la disyunción:

7b: Ley de absorción para la conjunción:

8a: Ley de identidad para la disyunción:

8b: Ley de identidad para la conjunción:

9: Ley de involución:

10: Ley de complemento:

11: Leyes de De Morgan:

ede comprobar que:

alguna de estas condiciones se puede afirmar que a antecede a b. Que en el caso de proposiciones o
uerte que b, o que b es más débil que a, y lo representamos:
s:

a= Llueve mucho
b= Llueve

Si: llueve mucho o llueve entonces llueve.
quiera de dos, que llueve mucho o llueve, claramente llueve en cualquier caso.
Si: llueve mucho y llueve entonces llueve mucho.
y que llueve, y se cumplen las dos circunstancias entonces es que llueve mucho.
Si: no llueve mucho o llueve es verdadero.
puede que llueva poco o que no llueva, si no llueve mucho o llueve abarca todas las posibilidades,
vioso, luego la afirmación es verdadera en todo caso.
Si: llueve mucho y no llueve es falso.
mucho y simultáneamente que no llueve, la afirmación es claramente falsa.
ctiva es la más fuerte y la menos restrictiva la más débil, en este caso:
mucho es tanto o más fuerte que llueve, la afirmación llueve mucho es un caso particular o el mismo

n álgebra de Boole[editar]
va lógica
ón matemática

se basa en un conjunto en el que se han definidos tres

: una unaria y dos binarias, como ya hemos visto, siendo
ón. Estrictamente hablando solo son necesarias dos, la unaria
así, por ejemplo, en la lógica binaria con la negación y el
efinir la suma.
Con la ley de De Morgan:
sulta más compleja, pero partiendo de la negación y el
define la suma binaria.
a derecha podemos ver un circuito en paralelo de dos
que corresponde a la suma binaria de a y b, y su equivalente
serie de a y b, los dos dan como resultado la misma tabla de
o son equivalentes, lo artificioso el circuito serie para obtener
o que en un circuito paralelo deja ver lo conveniente de
nción, la posibilidad de obtener la suma de dos variables binarias mediante la negación y el producto
orma primaria, el álgebra de Boole se basa solo en dos operaciones, y que cualquier expresión en la
suma puede transformarse en otra equivalente en la que solo intervienen la negación y el producto.
eoría de conjuntos con el complemento y la intersección podemos definir la unión:
similar al álgebra binaria, o cualquier otra álgebra de Boole, La definición del álgebra con solo dos
omplica las expresiones, pero permite determinar ciertas relaciones muy útiles, así como otras
distintas.
de Boole definido en un conjunto  las operaciones son internas, dado que parte de elemento de ,
un resultado en .
e la generalidad, y dado los distintos formas que puede adoptar el álgebra de Boole consideraremos
osicional con las proposiciones: a, c, b, etc. Que pueden tomar los valores verdadero: V o falso: F. Y
s lógicas sobre esas proposiciones que dan como resultado otras proposiciones lógicas, cada
, b, c, etc. Define un conjunto A, B, C, etc. Que podemos representar de forma gráfica en un
Venn.
estas conectivas lógicas para: 0, 1 y 2 variables en un diagrama de Hasse:
es por el número de argumentos[editar]
distintas operaciones por su número de argumentos podemos distinguir:

s[editar]
Operación nularia

nes lógicas sin argumentos son:

Operación nularia

Positiva Negativa

Tautología Contradicción

umento[editar]
pal: Operación unaria

ciones con solo un argumento son:

Operación unaria

Positiva Negativa

Afirmación lógica Negación lógica

s argumentos[editar]
principal: Operación binaria

eraciones que necesitan dos argumentos son:

Operación binaria

Positiva Negativa

Disyunción lógica Disyunción opuesta

Conjunción lógica Conjunción opuesta

Consecuencia lógica Adjunción lógica

 Implicación opuesta Adjunción opuesta

Bicondicional Disyunción exclusiva

peraciones nularias[editar]
a operación nularia es la que devuelve un valor sin necesidad de
umentos, podemos ver tautología y contradicción.
La tautología presenta el valor verdadero sin
necesidad de argumentos o independientemente de
las variables sobre la que se calcule. En teoría de
conjuntos corresponde al conjunto universal.
En lógica proposicional corresponde al valor:
verdadero:
En un circuito de conmutación corresponde a una conexión fija o puente cerrado.

La contradicción, por el contrario, presenta siempre

el valor falso, sin necesitar argumentos o
independientemente de los argumentos
presentados. En teoría de conjuntos corresponde al
conjunto vacío.
En lógica proposicional corresponde al valor: falso:
En un circuito de conmutación, corresponde a la no conexión o puente abierto.
Operaciones unarias[editar]
Una operación unaria es la que solo necesita un argumento
para presentar un resultado, podemos ver dos operaciones
unarias: identidad y negación.
La operación identidad de una afirmación presenta
el valor de la variación.
Esta operación se puede hacer con el dispositivo
electrónico amplificador buffer.

En un circuito de conmutación corresponde a un interruptor normalmente abierto: Interruptor

NA.

La operación negación lógica de una variable

presenta el valor contrario del argumento, o los
casos contrarios de los recogidos en el argumento.
Esta operación se hace con la Puerta NOT.

En un circuito de conmutación corresponde a un interruptor normalmente

cerrado: Interruptor NC.
Operaciones binarias[editar]
La operación binaria es la que necesita dos argumentos, de hecho es la forma más
generalizada de operación, normalmente cuando nos referimos a operaciones, nos
referimos a operaciones binarias, en el álgebra de
Boole podemos ver las siguientes operaciones
binarias:

 La Conjunción lógica presenta resultado verdadero solo cuando sus dos argumentos

son verdaderos.
Normalmente representado:
La conjunción lógica de proposiciones es equivalente a la intersección de
conjuntos en teoría de conjuntos, o a la puerta lógica AND:

en circuitos de conmutación sería un circuito en serie de interruptores.

 La Conjunción opuesta presenta resultado

verdadero en todos los casos excepto cuando sus
dos argumentos son verdaderos. Esta operación es la
negación de la conjunción.
 La conjunción lógica de proposiciones es equivalente a la puerta lógica NAND.

 La Disyunción lógica acepta dos argumentos

presentando como resultado verdadero si uno u otro
de los argumentos es verdadero.
La disyunción puede expresarse:
La operación disyunción lógica de
proposiciones, es equivalente a la unión de conjuntos en teoría de
conjuntos, a la puerta lógica OR:

y al circuito en paralelo en circuitos de conmutación

 La Disyunción opuesta presenta resultado

verdadero solo cuando sus dos argumentos son
falsos. Esta operación es la negación de la
disyunción.
La negación conjunta de
proposiciones es equivalente a la
puerta lógica NOR.
 La Implicación lógica presenta resultado falso si el
primer argumento es verdadero y el segundo falso,
en el resto de los casos presenta resultado
verdadero, esta operación no es conmutativa y puede
expresarse:
A esta operación también se
llama implicación: a implica b:
si a es verdadero b es verdadero.
si a es falso y b es verdadero, la implicación es falsa.
si a es falsa, la implicación es verdadera independientemente el valor de b.
A esta operación le corresponde un conjunto de puertas
lógicas complejas:
 La Adjunción lógica presenta resultado verdadero
si el primer argumento es verdadero y el segundo
falso, en el resto de los casos presenta resultado
falso, esta operación no es conmutativa y es la
negación de la condicional material, también suele
llamarse diferencia de a y b, puede expresarse:
A esta operación le
corresponde un conjunto de puertas lógicas
complejas:

 La Implicación opuesta es la operación que

presenta resultado falso si el primer argumento es
falso y el segundo verdadero, en el resto de los casos
presenta resultado verdadero, esta operación no es
conmutativa y es el resultado de permutar a y b en la
condicional material, puede expresarse:
A esta
operación le corresponde un conjunto de puertas
lógicas complejas:

 La Adjunción opuesta presenta resultado

verdadero si el primer argumento es falso y el
segundo verdadero, en el resto de los casos presenta
 resultado falso, esta operación no es conmutativa y es la negación de la condicional
inverso, también suele llamarse diferencia: b - a, puede expresarse:
A esta operación le corresponde un conjunto
de puertas lógicas complejas:

 La Bicondicional presenta resultado verdadero si

los dos argumentos son iguales, esto es: si a y b son
verdaderos o si a y b son falsos.
Le

corresponde la Puerta XNOR.

 La Disyunción exclusiva presenta resultado

verdadero si los dos argumentos son dispares, esto
es si de los dos argumentos uno es verdadero y otro
falso, es la negación de la bicondicional:
Esta

operación también se llama o

exclusivo, uno o el otro pero no los
dos, le corresponde la puerta
lógica: XOR.
Fórmula de Boole bien
formada[editar]
Artículo principal: Gramática formal
Artículo principal: Lenguaje formal
Artículo principal: Semántica formal
Artículo principal: Fórmula bien formada

Partiendo de un conjunto:  y donde a,

b, c, d, ... son variables o constantes
que pueden tomar valores del
conjunto , donde se han definido las
siguientes operaciones internas:
podemos decir que son
fórmulas bien formadas: fbf:
1: Una variable o constante:
2: La negación de una
variable o constante:
3: La operación
binaria entre dos
variables o
constantes:
4: El resultado de
sustituir en una
fórmula bien
formada, una
variable o
constante por una
fórmula bien
formada:
La aplicación
repetida de
estos criterios
dará siempre
una fórmula
bien formada.
ejemplo:
Se podrán
emplear
tantos
paréntesis
como
sean
necesarios
para evitar
ambigüed
ades,
evitando
siempre la
utilización
superflua
de
paréntesis
.
Jerarquí
a de los
operado
res[editar
]
Al evaluar
una
expresión
booleana,
deben
realizarse
las
operacion
es de
acuerdo
con su
nivel
jerárquico,
realizando
primero la
de mayor
jerarquía.
Si existen
paréntesis
, deben
resolverse
primero
los más
internos y
trabajar
hacia
fuera. En
ausencia
de
paréntesis
, la
jerarquía
de las
operacion
es es, de
mayor a
menor, la
siguiente:
Si se
tienen
varias
operacion
es con la
misma
jerarquía,
éstas
pueden
ser
evaluadas
de
derecha a
izquierda
o de
izquierda
a derecha,
el
resultado
será el
mismo.
Como
ejemplo,
considéres
e la
evaluación
de las
siguientes
expresion
es
booleanas
:

V
é
a
s
e

t
a
m
b
i
é
n
[
e
d
i
t
a
r
]

 Retí
culo
(ma
tem
átic
as)
 Fun
ción
boo
 lea
na
 For
ma
s
Can
ónic
as
(Álg
ebr
a
de
Boo
le)
 Circ
uito
de
con
mut
ació
n
 Lóg
ica
bin
aria
 Pue
rta
lógi
ca
 Sist
em
a
digit
al
 Tab
la
de
ver
dad
 Op
era
dor
a
nive
l de
bits

R
e
f
e
r
e
n
c
i
a
s
[
e
d
i
t
a
r
]

1. ↑ Boole,
George;
Requena
Manzano
,
Esteban:
tr. (1 de
1984). El
análisis
matemát
ico de la
lógica (2
edición).
Edicione
s
Cátedra,
S.A. ISBN 
978-84-
376-0208-
0.
2. ↑ Boole,
George (
2003)
[1854]. A
n
Investiga
tion of
the Laws
of
Thought.
 Prometh
eus
Books. IS
BN 978-1-
59102-089-
9.
3. ↑ Boole,
George;
Suárez
Hernánd
ez, José
Antonio:
tr. (3 de
1982). In
vestigaci
ón sobre
las leyes
del
pensami
ento (1
edición).
Edicione
s
Paraninf
o.
S.A. ISBN 
978-84-
283-1168-
7.
4. ↑ «El
matemáti
co que
inventó
hace
más de
150 años
cómo
buscar
en
Google».
Consulta
do el 20
de enero
de 2015.
5. ↑ Díaz
Martín,
José
Fernand
o;
Arsuaga
Uriarte,
Eider;
Riaño
Sierra,
Jesús M.
(2005).
«4.4.3». 
Introduc
ción al
 álgebra.
Netbiblo.
p. 147. IS
BN 84-
9745-128-
7.

B
i
b
l
i
o
g
r
a
f
í
a
[
e
d
i
t
a
r
]

1. Gonzál
ez
Carlom
án,
Antonio
.
Universi
dad de
Oviedo.
Servicio
de
Publica
ciones,
ed. Retí
culo
complet
o de
Boole,
lógica
matem
 ática,
teoría
de
conjunt
os (200
6
edición)
. ISBN 8
4-8317-
534-7.
2. García
Zubia,
Javier;
Sanz
Martíne
z,
Jesús;
Sotoma
yor
Basilio,
Borja.
Universi
dad de
Deusto.
Departa
mento
de
Publica
ciones,
ed. Boo
le-
Deusto
v2.1
entorno
de
diseño
lógico (
2005
edición)
. ISBN 8
4-7485-
973-5.
3. Giméne
z
Pradale
s, José
Miguel.
Universi
dad
Politécn
ica de
 Cataluñ
a.
Departa
mento
de
Matemá
tica
Aplicad
a III,
ed. Álg
ebra de
Boole
para
ingenie
ra
técnica 
(2004
edición)
. ISBN 8
4-
933451-
0-5.
4. García
Zubia,
Javier;
Sanz
Martíne
z,
Jesús;
Sotoma
yor
Basilio,
Borja.
Universi
dad de
Deusto.
Departa
mento
de
Publica
ciones,
ed. Boo
le-
Deusto
entorno
de
diseño
lógico (
2004
edición)
. ISBN 8
 4-7485-
929-8.
5. Montes
Lozano,
Antoni.
Editorial
UOC,
S.L.,
ed. Álg
ebras
de
Boole (
2002
edición)
. ISBN 8
4-8429-
979-1.
6. Montes
Lozano,
Antoni.
Editorial
UOC,
S.L.,
ed. Álg
ebras
de
Boole (
2002
edición)
. ISBN 8
4-8429-
926-0.
7. Gonzál
ez
Carlom
án,
Antonio
.
Universi
dad de
Oviedo.
Servicio
de
Publica
ciones,
ed. Retí
culo
complet
o de
Boole.
Lógica
 matem
ática
teoría
de
conjunt
os (200
1
edición)
. ISBN 8
4-8317-
264-X.
8. Martíne
z
Garza,
Jaime;
Olvera
Rodrígu
ez. Org
anizaci
ón y
arquite
ctura
de
comput
adoras 
(2000
edición)
. ISBN 9
68-444-
417-6.
9. Ginés
Gómez,
José
Carlos.
Gines
Gómez,
José
Carlos,
ed. Pue
rtas
lógicas
y
álgebra
de
Boole,
electró
nica
digital
técnica
de
telecom
 unicaci
ón (199
8
edición)
. ISBN 8
4-607-
9518-7.
10. Tiñena
Salvañá
,
Frances
c.
Editorial
UOC,
S.L.,
ed. Àlg
ebres
de
Boole
(gestió) 
(1998
edición)
. ISBN 8
4-8318-
582-2.
11. Tiñena
Salvañá
,
Frances
c.
Editorial
UOC,
S.L.,
ed. Àlg
ebres
de
Boole (
1998
edición)
. ISBN 8
4-8318-
614-4.
12. Masip
Bruin,
Xavier;
Román
Jiméne
z, José
Antonio
;
Sánche
 z
López,
Sergio.
Edicion
es
UPC,
S.L.,
ed. Álg
ebra de
Boole y
funcion
es
lógicas 
(1996
edición)
. ISBN 8
4-
89636-
20-6.
13. AYRES
, Frank.
Mc
Graw-
Hill.
Serie
Schau
m,
ed. Álg
ebra
Modern
a (1994
edición)
. ISBN 9
68-422-
917-8.
14. Permin
geat,
Noel;
Glaude,
Denis.
Editorial
Vicens-
Vives,
S.A.,
ed. Álg
ebra de
Boole (
1993
edición)
. ISBN 8
 4-316-
3294-1.
15. Jane
Ihnsa,
Ignacio.
Universi
dad de
Barcelo
na.
Publica
ciones
y
Edicion
es,
ed. Álg
ebras
de
Boole y
lógica (
1989
edición)
. ISBN 8
4-7875-
040-1.
16. Casano
va,
Gastón.
Editorial
Tecnos,
ed. El
álgebra
de
Boole (
1975
edición)
. ISBN 8
4-309-
0580-4.
E
n
l
a
c
e
s

e
x
t
e
r
n
o
s
[
e
d
i
t
a
r
]

  
Wik
ime
dia
Co
mm
ons 
alb
erg
a
una
cat
ego
ría
mul
tim
edi
a
sob
re 
Álg
ebr
a
de
Bo
ole.
 Álg
ebr
a
de
 Boo
le
 Álg
ebr
a
de
Boo
le
 TE
MA
6.
ÁL
GE
BR
A
DE
BO
OL
E
 TE
MA
3.
Álg
ebr
a
de
Boo
le
 Álg
ebr
a
de
Boo
le y
pue
rtas
lógi
cas
 Álg
ebr
a
de
Boo
le y
circ
uito
s
con
pue
 rtas
lógi
cas
 Te
ma
5:
Álg
ebr
a
de
Boo
le y
Fun
cion
es
Lóg
icas
 BO
OL
E-
DE
US
TO
SW
did
ácti
co:
Tab
las
de
ver
dad
, V-
K,
aut
óm
ata
s...
 Álg
ebr
a
de
Boo
le y
Dis
eño
de
Co
mp
uta
 dor
as
(PD
F)
 Cur
so
Co
mpl
eto
de
Ele
ctró
nica
Digi
tal

 Proyectos Wikimedia

  Datos: Q173183

  Multimedia: Boolean algebra

 Identificadores

 BNE: XX4576349

 BNF: 119793249 (data)

 GND: 4146280-4

 LCCN: sh85003429

 NDL: 00560863

 Microsoft Academic: 39685927

 Diccionarios y enciclopedias

 Britannica: url
C
a
t
e
g
o
r
í
a
:
 
 Á
l
g
e
b
r
a

d
e

B
o
o
l
e