lgebra de Boole (tambin llamada Retculas booleanas) en informtica y matemtica, es una estructura algebraica que esquematiza las operaciones

lgicas Y, O , NO y Si (AND,OR,NOT,IF), as como el conjunto de operaciones unin, interseccin y complemento. Se denomina as en honor a George Boole (2 de noviembre de 1815 a 8 de diciembre de 1864), matemtico ingls que fue el primero en definirla como parte de un sistema lgico a mediados del siglo XIX. El lgebra de Boole fue un intento de utilizar las tcnicas algebraicaspara tratar expresiones de la lgica proposicional. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de conmutacin elctrica biestables, en 1948.

Definicin
Una lgebra de Boole es una tripleta internas en y adems para cualquier . Donde , + y son operaciones se cumplen los siguientes axiomas:

1. Propiedad conmutativa:

2. Propiedad asociativa:

3. Propiedad distributiva:

4. Propiedad de los neutros. Existen

tales que:

5. Propiedad de los opuestos. Existe tal que:

0 1 1 0 1 1

0 1

1 0

0 0

[editar]Como

retculo

Como retculo presenta las siguientes propiedades, las leyes principales son estas: 1. Ley de Idempotencia:

2. Ley de Asociatividad:

3. Ley de Conmutatividad:

4. Ley de Cancelativo

Operacin producto
a b a b

La operacin producto ( ) asigna a cada par de valores a, b de A un valor c de A:

0 0 0 1

0 0 0 1

Esta operacin en lgica de interruptores es un circuito en serie de dos interruptores

1 0 1 1

solo si los dos valores a y b son 1, el resultado ser 1, si uno solo de ellos es 0 el resultado ser 0.

Trabajo Tractico de lgica

Tema: Algebra de boole

Alumno: Facundo Morales