Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Contenido
[ocultar]
1 Minitrminos
o 1.1 Indexando minitrminos
o 1.2 Funcin equivalente
2 Maxitrminos
o 2.1 Dualizacin
o 2.2 Indexando maxitrminos
o 2.3 Funcin equivalente
3 Vase tambin
[editar] Minitrminos
Para una funcin booleana de n variables x1,...xn, un producto booleano en el que cada
una de las n variables aparece una sola vez (negada o sin negar) es llamado minitrmino.
Es decir, un minitrmino es una expresin lgica de n variables consistente nicamente
en el operador conjuncin lgica (AND) y el operador complemento o negacin (NOT).
Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una funcin booleana con
las tres variables a, b y c.
[editar] Maxitrminos
Un maxitrmino es una expresin lgica de n variables que consiste nicamente en la
disyuncin lgica y el operador complemento o negacin. Los maxterms sn una
expresin dual de los minitrminos. En vez de usar operaciones AND utilizamos
operaciones OR y procedemos de forma similar.
Por ejemplo, los siguientes trminos cannicos son maxitrminos:
a + b' + c
a' + b + c
[editar] Dualizacin
El complemento de un
minterm es su
respectivo maxitrmino.
Esto puede ser
fcilmente verificado
usando la Ley de De
Morgan. Por ejemplo:
m1' = M1
(a'b)' = a + b'
lgebra de Boole
De Wikipedia, la enciclopedia libre
Saltar a navegacin, bsqueda
lgebra de Boole (tambin llamada Retculas booleanas) en informtica y
matemtica, es una estructura algebraica que rigorizan las operaciones lgicas Y, O y
NO, 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 algebraicas para 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.
Contenido
[ocultar]
1 Definicin
o 1.1 Como retculo
8 Bibliografa
[editar] Definicin
el algebra de boole se inicia a inicios de la decada del 1300 en roma con uno de los
matematicos mas conocidos de esas epocas
El lgebra de Boole es una estructura algebraica que puede ser considerada desde
distintos puntos de vista matemticos:
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
2. Es asociativa:
5. es conmutativa:
7. Es asociativa:
10. es conmutativa:
[editar] Distributivo
El conjunto A es un Grupo abeliano respecto a (+) y ( ) y es distributiva:
11. La operacin (+) es distributiva respecto a ( ):
Como resultado podemos decir que el lgebra de Boole tiene Estructura algebraica de
Cuerpo conmutativo .
[editar] Operaciones
Hemos definido el conjunto A = {1,0} como el conjunto universal sobre el
que se aplica el lgebra de Boole, sobre estos elementos se definen varias
operaciones, veamos las ms fundamentales:
a
b +
b
0 0 0
0 1 1
1 0 1
1 1 1
a
a
b
b
0 0 0
0 1 0
1 0 0
1 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.
0 1
1 0
0 0
0 1
1 0
1 1
1. Ley de idempotencia:
2. Ley de involucin:
3. Ley conmutativa:
4. Ley asociativa:
5. Ley distributiva:
6. Ley de cancelacin:
7. Leyes de De Morgan:
Adicin
[edi
Producto
1
2
tar]
3
4
5
6
7
8
9
Todas estas formas de representacin son correctas, se utilizan de hecho, y pueden verse
al consultar bibliografa. La utilizacin de una u otra notacin no modifica el lgebra de
Boole, solo su aspecto, y depende de la rama de las matemticas o la tecnologa en la
que se est utilizando para emplear una u otra notacin.
[editar] 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".
[editar] El 1 lgico
http://www.docstoc.com/docs/12426198/Sistemas-digitales-Carlos-Novillo--tomo-2