Está en la página 1de 107

Otras formas de notacin del lgebra de Boole[editar]

En Lgica binaria se suele emplear la notacin , comn en la tecnologa digital,


siendo la forma ms usual y la ms cmoda de representar.
Por ejemplo las leyes de De Morgan se representan as:

Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma


denominacin que para las puerta lgica AND (Y), OR (O) y NOT (NO),
amplindose en ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y),
NOR (NO O) y X-NOR (equivalencia). las variables pueden representarse con
letras maysculas o minsculas, y pueden tomar los valores {0, 1}
Empleando esta notacin las leyes de De Morgan se representan:

En su aplicacin a la lgica se emplea la notacin y las variables


pueden tomar los valores {F, V}, falso o verdadero, equivalentes a {0, 1}
Con la notacin lgica las leyes de De Morgan seran as:

En el formato de Teora de conjuntos el lgebra de Boole toma el

aspecto:
En esta notacin las leyes de De Morgan seran as:

Otra forma en la lgebra de conjuntos del lgebra de


Boole, las leyes de De Morgan seran as:

Desde el punto de vista prctico existe una forma


simplificada de representar expresiones
booleanas. Se emplean apstrofos (') para indicar
la negacin, la operacin suma (+) se representa
de la forma normal en lgebra, y para el producto
no se emplea ningn signo, las variables se
representan, normalmente con una letra
mayscula, la sucesin de dos variables indica el
producto entre ellas, no una variable nombrada
con dos letras.
La representacin de las leyes de De Morgan con
este sistema quedara as, con letra minsculas
para las variables:

y as, empleando letras maysculas para


representar las variables:

Todas estas formas de


representacin son correctas, se
utilizan de hecho, y pueden
verse al consultar bibliografa. La
utilizacin de una u otra notacin
no modifica el lgebra de Boole,
solo su aspecto, y depende de la
rama de las matemticas o la
tecnologa en la que se est
utilizando para emplear una u
otra notacin.

Estructuras
algebraicas que son
lgebra de
Boole[editar]
Hay numerosos casos de
distintos anlisis de estructuras
algebraicas que corresponden al
lgebra de Boole, aunque en
apariencia son muy diferentes,
su estructura es la misma.
Vamos a ver algunos de ellos,
con el propsito de hacer
palpable las similitudes en la
estructura y los distintos mbitos
de aplicacin y distinta
terminologa para referirse a las
operaciones o a las variables.

Lgica binaria[editar]
Artculo principal: Lgica binaria
Artculo principal: Sistema digital
Artculo principal: Sistema binario

Artculo principal: Tabla de verdad

Artculo principal: Sistema


combinacional
Artculo principal: Formas
cannicas (lgebra de Boole)
Artculo principal: Circuito de
conmutacin
Una serie de temas,
aparentemente tan distintos,
tiene dos cosas en comn, la
lgica binaria basada en los
ceros y los unos y el lgebra de
Boole, posiblemente la forma
ms conocida de esta lgebra,
que en ocasiones da lugar a la
interpretacin que el lgebra de
Boole es la lgica binaria
exclusivamente, as el

conjunto en este caso est


formado por dos elementos {0,1},
o {F, V}, o {no, s}, dos valores
contrapuestos, que son las dos
posibles alternativas entre dos
situaciones posibles, aqu, sin
prdida de la generalidad,
tomaremos el conjunto: {0,1}
como ya hemos dicho:

Donde:

La operacin
unaria interna,
que
llamaremos neg
acin:

La
operacin unaria
interna
negacin,
definimos una
aplicacin que a
cada
elemento a de {0
,1}, le asigna
un b de {0,1}.

Para todo
elemento a
en {0.1}, se
cumple que
existe un
nico b en {
0,1}, tal
que b es la
negacin
de a. Como
se ve en la
tabla.

La
operaci
n binaria
interna,
que
llamare
mos su
ma:

Con la
operaci
n suma
definimo
s una
aplicaci
n que, a
cada par
ordenad
o (a, b)
de B por
B, le
asigna
un c de
B.

Par
a
todo
par
orde
nad
o
(a,b
)
en
Bp
or B
, se
cum
ple
que
exist
e un
nic
oc
en
B,
tal
que
c es
el
resu
ltad
o de
sum
ar a
con
b.

l
a
o
p
e
r
a
c
i

n
b
i
n
a
r
i
a
i
n
t
e
r
n
a
,
q
u
e
l
l
a
m
a
r
e
m
o
s

p
r
o
d
u
c
t
o
:

C
o
n
l
a
o
p
e
r
a
c
i

n
p
r
o
d
u
c
t
o
d
e
f
i
n
i
m
o
s
u
n
a
a
p
l
i
c
a
c
i

n
q
u
e
,
a
c
a
d
a
p
a
r
o
r
d
e
n
a
d
o
(
a
,

b
)
d
e

p
o
r

B
,
l
e
a
s
i
g
n
a
u
n

d
e
B
.

P
a
r
a
t
o
d
o
p
a
r
o
r
d
e
n
a
d
o
(
a
,

b
)
e
n

p
o
r

B
,
s
e
c
u
m
p
l
e
q
u
e
e
x
i
s
t
e
u
n

n
i
c
o

e
n

B
,
t
a
l
q
u
e

e
s
e
l
r
e
s
u
l
t
a
d
o
d
e
l
p
r
o
d
u
c
t
o

b
.
C
o
m
o
s
e
p
u
e
d
e
v
e
r
e
n
l
a
t
a
b
l
a
.
A
x
i
o
m
a
s
[
e
d
i
t
a
r
]
A
s

e
s
u
n

l
g
e
b
r
a
d
e
B
o
o
l
e

a
l
c
u
m
p
l
i
r
l
o
s
s
i
g
u
i
e
n
t
e
s
a
x
i
o
m
a
s
:

1
a
:
L
a
l
e
y
a
s
o
c
i
a
t
i
v
a
d
e
l
a
s
u
m
a
:

1
b
:
L
a
l
e
y
a
s
o
c
i
a
t
i
v
a
d
e
l
p
r
o
d
u
c
t
o
:

2
a
:
E
x
i
s
t
e
n
c
i
a
d
e
l
e
l
e
m
e
n
t
o
n
e
u
t
r
o
p
a
r
a
l
a
s
u
m
a
:

ms dbil que a, y lo representamos:


Si: llueve mucho o llueve entonces llueve.

Si: llueve mucho y llueve entonces llueve mucho.

Si: no llueve mucho o llueve es verdadero.


a en todo caso.

Si: llueve mucho y no llueve es falso.

mente hablando solo son necesarias dos, la unaria y una de las binarias,

, los dos dan como resultado la misma tabla de verdad, y por tanto son
uma de dos variables binarias mediante la negacin y el producto
e en la que solo intervienen la negacin y el producto.

iertas relaciones muy tiles, as como otras operaciones distintas.

ueden tomar los valores verdadero: V o falso: F. Y las conectivas lgicas sobre esas proposiciones que dan
unto universal.
responde al conjunto vaco.
s, nos referimos a operaciones binarias, en el lgebra de Boole podemos ver las siguientes operaciones

negacin de la conjuncin.
ncin.
ado verdadero, esta operacin no es conmutativa y puede expresarse:

si a es verdadero b es verdadero.
si a es falso y b es verdadero, la
implicacin es falsa.
si a es falsa, la implicacin es verdadera
independientemente el valor de b.

los casos presenta resultado falso, esta operacin no es conmutativa


erdadero, en el resto de los casos presenta resultado verdadero, esta

el resto de los casos presenta resultado falso, esta operacin no es


se:

aderos o si a y b son falsos.


e los dos argumentos uno es verdadero y otro falso, es la negacin de

gica: XOR.

res del conjunto , donde se han definido las siguientes operaciones internas:

nte por una frmula bien formada:

mada.
r ambigedades, evitando siempre la utilizacin superflua de parntesis.

e acuerdo con su nivel jerrquico, realizando primero la de mayor jerarqua. Si existen parntesis, deben
a de parntesis, la jerarqua de las operaciones es, de mayor a menor, la siguiente:

ser evaluadas de derecha a izquierda o de izquierda a derecha, el resultado ser el mismo.


s booleanas: