Documentos de Académico
Documentos de Profesional
Documentos de Cultura
: B→ Ba → b= a
¿( a , b ) → c=a ¿
Por la que definimos una aplicación que, a cada par ordenado
(a, b) de B por B, le asigna un c de B.
∀ ( a , b ) ∈ B × B:∃ ! c ∈ B /c=a ¿ 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.
( ∙ ) :B × B → B( a , b ) → c=a ( ∙ ) b
Con lo que definimos una aplicación que, a cada par ordenado
(a, b) de B por B, le asigna un c de B.
∀ ( a , b ) ∈ B × B:∃ ! c ∈ B /c=a ( ∙ ) 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.
Funciones Lógicas
Función OR
La función OR es equivalente a la conjunción "O" de nuestra lengua, también
denominada suma lógica. Al aplicar esta función sobre dos variables (A y B),
el resultado (S) será el siguiente: Si al menos una de las dos variables tiene un
valor verdadero (1), entonces el resultado será verdadero. Para esta función
con dos variables son posibles cuatro combinaciones, o sea:
A B S
0 0 0
0 1 1
1 0 1
1 1 1
Función AND
La función AND es equivalente a la conjunción "Y" de nuestra lengua,
denominada también multiplicación lógica. Al aplicar esta función sobre dos
variables (A y B), el resultado (S) será el siguiente: El resultado será
verdadero si y sólo si, A y B son verdaderos. Es decir:
A B S
0 0 0
0 1 0
1 0 0
1 1 1
Función EQUAL
Para esta operación, el resultado será verdadero si la variable A es verdadera,
de lo contrario será falso. Las combinaciones posibles son las siguientes:
A S
1 1
0 0
Función NOT
El resultado de esta función es similar a la función EQUAL pero negada. Es
decir, si la variable A es verdadera, el resultado será falso y viceversa:
A S
1 0
0 1
Función NAND
Es equivalente a la a la función AND negada, es decir, el resultado será falso
si ambas variables son verdaderas, de lo contrario, si al menos una es falsa, el
resultado será verdadero. Sería de esta forma:
A B S
0 0 1
0 1 1
1 0 1
1 1 0
Función NOR
Esta función es equivalente a la a la función OR negada, es decir, el resultado
será verdadero si ambas variables son falsas, de lo contrario, si al menos una
es verdadera, el resultado será falso. Sería de esta forma:
A B S
0 0 1
0 1 0
1 0 0
1 1 0
Función OREX
La función OREX (OR exclusiva) El resultado será verdadero si una de las dos
variables tiene un valor verdadero, pero el resultado será falso si ambas
tienen un valor falso o ambas un valor verdadero.
A B S
0 0 0
0 1 1
1 0 1
1 1 0
Función NOREX
La función NOREX es equivalente a la función OREX negada El resultado será
falso si una de las dos variables tiene un valor falso, pero el resultado será
verdadero si ambas tienen un valor falso o ambas un valor verdadero.
A B S
0 0 1
0 1 0
1 0 0
1 1 1
A B C F(A, B, C)
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
Propiedades del Algebra de Boole
Un conjunto B dotado de dos leyes de composición interna (suma y
producto)
Tiene estructura de álgebra de Boole si se verifican las propiedades
siguientes.
(1) Las dos leyes son asociativas.
(a + b) + c = a + (b + c)
(a b) c = a (b c) ∀ a, b, c ∈ B
(2) Las dos leyes son conmutativas.
a+b=b+a
a b = b a ∀ a, b ∈ B
(3) Cada ley tiene elemento neutro.
∃0∈B/a+0=a∀a∈B
∃1∈B/a1=a∀a∈B
(4) Para cada elemento a ∈ B existe un único elemento a ∈ B, llamado
Complementario de a, tal que
a+a=1
aa=0
(5) Cada ley es distributiva respecto a la otra.
a (b + c) = a b + a c
a + (b c) = (a + b) (a + c) ∀ a, b, c ∈ B