Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ALGEBRA DE BOOLE
(2) Una proposición lógica es un enunciado declarativo que puede ser verdadero
o falso, pero no ambas cosas a la vez. El conjunto de las proposiciones lógicas
con las operaciones " v " disyunción y " ^ " conjunción tiene estructura de
álgebra de Boole.
(3) El conjunto B = {0, 1} con las leyes definidas mediante las tablas:
Producto
• 0 1
0 0 0
1 0 1
Suma
+ 0 1
0 0 1
1 1 1
Complemento
X X’
0 1
1 0
Constituye un modelo de la estructura algebraica de Álgebra de Boole, llamada
ÁLGEBRA DE BOOLE BINARIA, donde 0 es el elemento neutro para la suma, 1 es
el elemento neutro para la multiplicación, el complementario de 0 es 1 (0'=1) y el
complementario de 1 es 0 (1'=0).
(1) Involución.
(x')' = x; ∀ x ∈ B.
(2) Idempotencia.
𝑥+𝑥 = 𝑥
∀x∈B{
𝑥 .𝑥 = 𝑥
𝑥. 0=0
(3) ∀ x ∈ B {
𝑥+1=1
(4) Absorción.
𝑥 + 𝑥𝑦 = 𝑥
∀x∈B{
𝑥(𝑥 + 𝑦) = 𝑥
(5) Los neutros son recíprocamente complementarios.
0' = 1
1' = 0
𝑥 + 𝑥′𝑦 = 𝑥 + 𝑦
(6) ∀ x ∈ B {
𝑥(𝑥 ′ + 𝑦) = 𝑥𝑦
OJO a continuación en lugar de x’ se usará x que es lo mismo, sólo facilita no
usar muchos paréntesis
(7) Leyes de Morgan.
(1a Ley) x + y= x y
∀ x, y ∈ B.
(2a Ley) xy = x + y
Demostración:
x + (x · y) = x
1
(x • 1) + (x • y) = x • (1 + y) = x
x • (x + y) = x por dualidad
Funciones booleanas
Hasta ahora se ha mostrado en que operaciones se basa el Algebra de Boole y
algunas de sus propiedades.
Ejemplo No 5.1
Sea la siguiente función booleana de una variable:
f(x) = xc (también puede escribirse 𝒙, x')
Pero,
a + b • c ≠ (a + b) • c
5.5 Funciones booleanas y tablas de verdad
Existe otra manera de representar una función booleana. es mediante las tablas de
verdad, pero cambiando las proposiciones por expresiones booleanas: utilizaremos
nuevamente el ejemplo No 5.2: f(x, y) = xc(x + y); su tabla de verdad es:
n° equiv.
x y 𝒙 x+y f(x, y)
decimal
0 0 0 1 0 0
1 0 1 1 1 1
2 1 0 0 1 0
3 1 1 0 1 0
:
Ejemplo No 5.3: h(x, y, z) = x + yz
La tabla de valores de verdad será:
N° Equiv.
X Y Z YZ X+YZ
decimal
0 0 0 0 0 0
1 0 0 1 0 0
2 0 1 0 0 0
3 0 1 1 1 1
4 1 0 0 0 1
5 1 0 1 0 1
6 1 1 0 0 1
7 1 1 1 1 1
5.6 Representación de funciones booleanas
Dada una tabla de verdad también es posible obtener la forma algebraica. Existen
dos métodos para identificar la forma algebraica:
La forma normal disyuntiva (f.n.d.) y
N° Equiv.
X Y Z YZ h = X+YZ
decimal
0 0 0 0 0 0
1 0 0 1 0 0
2 0 1 0 0 0
3 0 1 1 1 1
4 1 0 0 0 1
5 1 0 1 0 1
6 1 1 0 0 1
7 1 1 1 1 1
𝑥 y z; x 𝑦 𝑧; x 𝑦 z; x y 𝑧; xyz
Luego, se suman las conjunciones fundamentales o “min términos”, resultando la
forma normal disyuntiva.
h(x, y, z) = 𝒙 y z + x 𝒚 𝒛 + x 𝒚 z + x y 𝒛 + x y z
Estos términos formados por todas las variables conectadas mediante operadores
AND (Y) se denominan min términos.
No equivalente
f (X, Y, Z)
Decimal
X Y Z
0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
Estos términos formados por todas las variables conectadas mediante operadores
OR (O) se denominan maxterminos.
En general:
f(x1, x2, x3,…. fn) = ∏𝑀(𝑀0, 𝑀1, 𝑀2 . . 𝑀𝑛)
Para la representación de la forma canoníca, se utilizan las posiciones de los Max
términos en tabla de verdad.
f (x,y,z) = ∏𝑀(𝑀0 + 𝑀1 + 𝑀3 + 𝑀5 + 𝑀7 )
ENTRADA SALIDA
No equiv.
X Y Z X+Y Z’ (X + Y) Z’
Decimal
0 0 0 0 0 1 0
1 0 0 1 0 0 0
2 0 1 0 1 1 1
3 0 1 1 1 0 0
4 1 0 0 1 1 1
5 1 0 1 1 0 0
6 1 1 0 1 1 1
7 1 1 1 1 0 0
f(x, y, z) = (x + y) z’
Una tabla de verdad sirve para enumerar todas las combinaciones posibles de una
operación lógica tanto de entrada con sus respectivas salidas.
Por ejemplo, la operación lógica “Y” (en inglés AND) para dos entradas se muestra
a continuación:
Entrada Salida
A B X
0 0 0
0 1 0
1 0 0
1 1 1
En esta tabla observamos que la salida sólo es “1” cuando ambas entradas son “1”.
La operación lógica AND se simboliza mediante la compuerta.
Otra compuerta básica es la que realiza la función lógica “O” (en inglés OR) la cual
puede tener dos o más entradas y realiza la operación que se conoce como suma
lógica. Su tabla de verdad es:
Entrada Salida
A B X
0 0 0
0 1 1
1 0 1
1 1 1
En esta tabla observamos que la salida es “1” cuando cualquiera de las entradas es
“1”. La operación lógica OR se simboliza mediante la compuerta:
Una tercera tabla de verdad y compuerta lógica básica presenta la operación
negación “no” (en inglés NOT).
Entrada: A Salida: X
0 1
1 0
La operación negación está simbolizada por la compuerta:
Al agregar una compuerta NOT a cada una de las compuertas anteriores los
resultados de sus respectivas tablas de verdad se invierten, y dan origen a tres
nuevas compuertas llamadas NAND, NOR y NOR-EX. Veamos ahora como son y
cuál es el símbolo que las representa...
Compuerta NAND
Responde a la inversión del producto lógico de sus entradas, en su representación
simbólica se reemplaza la compuerta NOT por un círculo a la salida de la compuerta
AND.
Compuerta NOR
El resultado que se obtiene a la salida de esta compuerta resulta de la inversión de
la operación lógica o inclusiva es como un no a y/o b. Igual que antes, solo
agregas un círculo a la compuerta OR y ya tienes una NOR.
Compuerta NOR-EX
Es simplemente la inversión de la compuerta OR-EX, los resultados se pueden
apreciar en la tabla de verdad, que bien podrías compararla con la anterior y notar
la diferencia, el símbolo que la representa lo tienes en el siguiente gráfico.