Funes Booleanas

Seja B uma lgebra de Boole e, sejam x1,..., xn variveis tais que seus valores pertencem a B. Chama-se funo booleana de n variveis a uma aplicao f de Bn em B satisfazendo as seguintes regras: 1. Se para quaisquer valores de x1, ... , xn, f(x1, ... , xn) = a, a B, ento f uma funo booleana. a funo constante. 2. Se para quaisquer valores de x1, ... , xn, f(x1 , ... , xn) = xi para algum i (i = 1, ... , n), ento f uma funo booleana. a funo projeo. 3. Se f uma funo booleana, ento g definida por g(x1, ..., xn) = = (f(x1 , ... , xn))' (complemento da imagem de (x1, ... , xn) pela funo f) para todos x1, ..., xn uma funo booleana. 4. Se f e g so funes booleanas, ento h (soma) e k (produto), definidas por h(x1, ..., xn) = f(x1, ... , xn) + g(x1, ... , xn) e k(x1, , xn) = f(x1, ..., xn) g(x1, ... ,xn) para todos os x1, ... ,xn so funes booleanas. 5. Qualquer funo construda por um nmero finito de aplicaes das regras anteriores e somente tal funo booleana. Ento, uma funo booleana qualquer funo que pode ser construda a partir das funes constantes e projeo mediante um numero finito das operaes + e . Para uma funo de uma varivel, a funo projeo a funo identidade f(x) = x. Antes de nos adiantarmos neste assunto, definamos o que se entende por constante e varivel booleanas. Chama-se constante (booleana) em B a qualquer elemento de uma lgebra de Boole B. Chama-se varivel (booleana) em B ao smbolo que pode representar qualquer dos elementos de uma lgebra de Boole B. 1 Exemplo: 2 Exemplo: 3 Exemplo: f(x) = x + x' a f(x, y) = x' y + x y' + y' f(x, y, z) = a x y' z + y z' + a + x y

As expresses desses exemplos so funes booleanas, onde as variveis x, y e z percorrem uma lgebra de Boole e a um elemento dessa lgebra. Por causa das relaes existentes entre as operaes, uma funo booleana pode assumir muitas formas.

4 Exemplo:

Dadas f(x, y) = x' y' e g(x, y) = (x + y)', sabemos pelas leis de De Morgan, que f

e g so a mesma funo, isto , elas assumem o mesmo valor para valores idnticos das variveis. Para melhor determinar se duas expresses representam a mesma funo booleana, torna-se desejvel a existncia de uma forma padro ou cannica na qual as expresses podem ser transformadas. Desenvolveremos tal forma no teorema a seguir. Teorema - Se f uma funo booleana de uma varivel, ento, para todos os valores de x, f(x) = f(1) x + f(0) x'. Prova: Examinaremos as possveis formas de f: 1 caso: f uma funo constante, f(x) = a. f(1) x + f(0) x' = a x + a x' = a (x + x') = a 1 = a = f( x). 2 caso: f a funo identidade, f(x) = x. f(1) x + f(0) x' = 1 x + 0 x' = x + 0 = x = f(x). 3 caso: Suponhamos que o teorema vale para f e seja g(x) = (f(x))'. claro que g(1) = (f(1))' e que g(0) = (f(0))' g(x) = (f(x))' = (f(1) x +f(0) x')' = (f(1) x)' (f(0) x') ' = ((f(1))' + x') (f(0))'+x) = (f(1))' (f(0))' + f(1))' x + f(0))' x' + x x' = (f(1))' (f(0))' (1) + (f(1))' x + (f(0))' x' = (f(1))' (f(0))' (x + x') + (f(1))' x + (f(0))' x' T6 T6, T5 A1, A3 A4, A5, A5, 1 = x + x' A1, A3

= (f(1))' x (f(0))' + (f(1))' (f(0))' x' + (f(1))' x + (f(0))' x' = (f(1))' x + (f(0))' x' = g(1) x + g(0) x'. 4 caso:

A1, T7 (absoro)

Suponhamos que o teorema vale para f e g, e seja h(x) = f(x) + g(x). h(x) = f(x) + g(x) = f(1) x + f(0) x' + g(1) x + g(0) x' = (f(1) + g(1)) x+(f(0) +g(0)) x' = h( 1) x + h(0) x'.

5 caso:

Suponhamos que o teorema vale para f e g, e seja k(x) = f(x) g(x). k(x) = f(x) g(x) = (f(1) x + f(0) x') (g(1) x + g(0) x') = f(1) g(1) x x + f(1) g(0) x x' + f(0) g(1) x' x + f(0) g(0) x' x' = f(1) g(1) x + f(0) g(0) x' = k(1) x + k(0) x'. A3 T1, A5, T2

Estabelecemos, ento, uma forma cannica para uma funo booleana de uma varivel. Podemos mostrar, de modo semelhante, que, se f uma funo booleana de duas variveis, ento, para todos os valores de x e y, temos: f(x, y) = f(1 ,1) x y + f(1, 0) x y' + f(0, 1) x' y + f(0, 0) x' y'. Em geral, se f uma funo booleana de n variveis, ento, para todos os valores de x1, ... , xn, f(x1, ... , xn) = onde assume os valores 0 e 1, e interpretado como xi ou xi' conforme tem valor 1 ou o.

Exemplos: Seja B uma lgebra de Boole com quatro elementos 0, a, a' e 1. Construamos as formas cannicas para as funes: a) b) Soluo: a) f(1) = 1 e f(0) = a (T8, T2, A4), de modo que a forma cannica para f f(1) x+f(0) x' = 1 x + a x'. f(x) = x + x' a g(x, y) = x' y + x y' + y'.

Valores de f(x) = x + x a

x 0 a a' 1

f(x) a a 1 1

a) g(1,1) = 0 e g(1,0) = g(0,1) = g(0,0) = 1, de modo que a forma cannica para g g(x,y) = 0 x y + 1 x y' + 1 x' y + 1 x' y'. y x Valores de g(x, y) = = x' y + x y' + y'.

0
1 1 1 1

a
1 a' 1 a'

a'
1 1 a a

1
1 a' a 0

0
a a' 1

Note-se que em ambas as funes, a forma cannica reduz-se facilmente a forma original. A forma cannica que discutimos conhecida como uma soma de produtos ou forma normal disjuntiva (FND). Existe tambm um produto de somas ou forma normal conjuntiva (FNC). Cada termo de uma FND , s vezes, chamado minterm (m) e os fatores de uma FNC so chamados maxterm (M).