Beruflich Dokumente
Kultur Dokumente
aspecto:
En esta notacin las leyes de De Morgan seran as:
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
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
:
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.
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.
gica: XOR.
res del conjunto , donde se han definido las siguientes operaciones internas:
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: