Es cualquier smbolo que represente un

elemento especfico de una lgebra

booleana.
Ejemplo 0 y 1.
 Es cualquier smbolo literal A, B, etc., usado
para representar un elemento arbitrario o
no especificado de una lgebra Booleana
Sea B una lgebra booleana, (A1, A2, , An)
Bn , B x B x x B = Bn.
La aplicacin f: Bn B se llama funcin
booleana si satisface una de las siguientes
condiciones:
1. f(A1, A2, , An) = k para todos los valores
de A1, A2, , An (variables booleanas) siendo
k una constante booleana
2. f(A1, A2, , An) =Ai para todos los valores
A1, A2, , An (siendo i = 1, 2, , n) en este
caso se dice que f es una funcin
proyeccin.
3. Si f es una funcin booleana en el sentido
(1) (2) y si g est definido por
g(A1, A2, , An) = [f(A1, A2, , An) ]
(complemento) se dice que g es una funcin
booleana.
4. Si f y g son funciones en el sentido de (1),
(2) (3) y si h y k estn definidas por h(A1,
A2, , An) = f(A1, A2, , An) U g(A1, A2, , An)
y
k(A1, A2, , An) = f(A1, A2, , An)
g(A1, A2, , An) para todo
A1, A2, , An entonces se dice que h y k son
funciones booleanas.
1. Para una sola variable:
f1(A) = A; f2(A) = A; f3(A) = A U A =1
2. Para dos variables:
f(A,B) = (AB) U A
3. Para tres variables:
f(A,B,C) = [(AB) U ((ABC) U C
 Si f es una funcin booleana de una sola
variable, entonces,
f(A) = [f(1) A] U [f(0) A]

Demostracin
 Si f es una funcin de dos variables,
entonces,
f(A,B) = [f(1,1) A B] U [f(1,0) A B]
U [f(0,1) A B] U [f(0,0) A B]
En general si f es una funcin booleana de n
variables A1 , A2 , ., An se tiene:
f ( A1 , A2 , ... , An ) [ f (e1 , e2 ,..., en ) A1e1 ... Anen ]

donde ei { 1
0

A
i
ei
{ Ai cuando ei 1
Ai' cuando ei 0
 Toda funcin booleana puede escribirse en
dos formas llamadas
- normal disyuntiva y
- normal conjuntiva
 Es la reunin de intersecciones de las
variables. Ejemplos:
1. f(A,B) = (AB) U (AB) U (AB)
2. f(A,B,C) = (AB) U (ABC) U (AB)
cada interseccin se llama trmino.
 Es la forma normal disyuntiva tal que en
cada trmino aparecen todas las variables,
ya sea con prima () o sin ella y ningn
trmino est repetido.
Ejemplo:

f(A,B,C) = (ABC) U (ABC)

 Es la interseccin de las reuniones de las
variables. Ejemplos:
1. f(A,B) = (AUB) (AUB) A
2. f(A,B,C) = (AUBUC) (AUBUC)
cada reunin se llama factor.
 Es la forma normal conjuntiva tal que en
cada factor aparecen todas las variables ya
sea con prima () o sin ella y ningn factor
est repetido.
Ejemplo:

f(A,B,C)= (AUBUC) (AUBUC)

 Normalizacin de una funcin booleana es
el proceso mediante el cual una funcin f se
transforma en su FNDC o FNCC.
Mtodos de normalizacin
I) Aplicando las propiedades del lgebra
de Boole.
II) Aplicando el teorema fundamental del
lgebra de Boole
 I) Para obtener la FNDC se aplica:
a) Ley de De Morgan
b) Distributividad de la interseccin
con respecto a la reunin.
c) Axioma de existencia de elemento
neutro respecto de la interseccin.
d) Axioma de existencia de elementos
complementarios.
Expresar en su FNDC la funcin booleana:
f(A,B,C) = [(AB) U C] (C U A)

SOLUCIN
 I) Para obtener la FNCC se aplica:
a) Ley de De Morgan
b) Distributividad de la reunin
con respecto a la interseccin.
c) Axioma de existencia de elemento
neutro respecto de la reunin.
d) Axioma de existencia de elementos
complementarios.
Expresar en su FNCC la funcin booleana:
f(A,B,C) = [(AB) U C] (C U A)

SOLUCIN
 FNDC

FNCC