1

Propiedades de un lgebra de Boole

lgebra de Boole 1. Propiedades.Son muchas las propiedades que se verifican en un lgebra de Boole. Las ms importantes se muestran en la tabla 5. Propiedades son particularmente tiles en la simplificacin del diseo de circuitos. Se puede demostrar cada propiedad de la tabla cinco utilizando una tabla de valores. Tabla 5. Propiedades de un lgebra de Boole Propiedad Nombre =x Propiedad del doble complemento x+x=x Propiedades de Idempotencia x . x =x x + 0 =x Propiedades de Elemento Neutro x.1=x x + 1 =1 Propiedades de Acotacin x.0=0 x+y=y+x Propiedades Conmutativas xy = yx x + (y + z) = (x + y) + z Propiedades Asociativas x(yz) = (xy)z x + yz = (x + y)(x + z) Propiedades Distributivas x(y + z) = xy + xz Propiedades de Morgan x + xy = x x( x + y) = x 1 Propiedades de Absorcin Propiedad de Condicin de Negacin

Ejemplo: Demostrar que se cumple la propiedad distributiva x(y + z) = xy + xz. x y z y + z xy xz x(y + z) xy + xz 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0

1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0

22 de febrero de 2011

Propiedades de un lgebra de Boole

2. Dualidad.Las propiedades de la tabla 5 aparecen por parejas (cuando la propia del doble del Pilar propiedades de los inversos para 0 y1). Para explicar la relacin que est entre las dos propiedades de cada pareja utilizamos el concepto de dual. El dual de una expresin Booleana se obtiene intercambiando entre s la suma y el producto booleano, as como los ceros y unos.

Ejemplos: x + (y . 1)

1 . z)

3. Definicin abstracta de lgebra de Boole.En esta seccin nos hemos centrado en las funciones y expresiones booleanas. Sin embargo, los resultados que hemos establecido se pueden traducir en resultados de frmulas proporcionales o acerca de conjuntos. Por ello es til definir las lgebras de Boole de manera abstracta. La definicin ms comn es especificar las propiedades que deben satisfacer las operaciones. Definicin 1: Un lgebra de Boole es un conjunto B con dos operaciones binarias, , m nt 1 n n n , m

cualesquiera elementos x, y, z de B se verifican las siguientes leyes. Ley del Elemento Neutro ( ( ) ) ( ( ) ) Ley de Condicin de Negacin Ley Asociativa Ley Conmutativa ( ( ) ) ( ( ) ) ( ( ) )

Ley Distributiva

22 de febrero de 2011

Propiedades de un lgebra de Boole

Utilizando las leyes dadas en la Definicin 1, se pueden demostrar muchas otras propiedades vlidas en cualquier lgebra de Boole, como la idempotencia y de acotacin. De nuestro planteamiento previo se deduce que el conjunto B= {0,1} con , m nt t

propiedades. El conjunto de todas las frmulas proposicionales en n variables, los , V y F n g n m n t mb n t

propiedades de un lgebra de Boole. 4. Problemas Calcula los valores de expresiones siguientes. a) 1 b) 1 1 c) d) (1 + 0) R.- 1 R.- 1 R.- 0 R.- 0

Calcula, en caso de que existan, los valores de la variable x que satisfacen las siguientes ecuaciones. a) x . 1 = 0 b) x + x = 0 c) x . 1 = x d) 1 R.- 0 R.- 0 R.- x R.- N/e

5. lgebra de Boole aplicada a la informtica Se dice que una variable tiene valor booleano cuando, en general, la variable contiene un 0 lgico o un 1 lgico. Esto, en la mayora de los lenguajes de programacin, se traduce en false (falso) o true (verdadero), respectivamente. Una variable puede no ser de tipo booleano, y guardar valores que, en principio, no son booleanos; ya que, globalmente, los compiladores trabajan con esos otros valores, numricos normalmente aunque tambin algunos permiten cambios desde, incluso, caracteres, finalizando en valor booleano.

22 de febrero de 2011

Propiedades de un lgebra de Boole

El 0 lgico

El valor booleano de negacin suele ser representado como false, aunque tambin permite y equivale al valor natural, entero y decimal (exacto) 0, as como la cadena "false", e incluso la cadena "0". El 1 lgico

En cambio, el resto de valores apuntan al valor booleano de afirmacin, representado normalmente como true, ya que, por definicin, el valor 1 se tiene cuando no es 0. Cualquier nmero distinto de cero se comporta como un 1 lgico, y lo mismo sucede con casi cualquier cadena (menos la "false", en caso de ser sta la correspondiente al 0 lgico).

El ignorante afirma, el Sabio duda y reflexiona. Aristteles

22 de febrero de 2011