Documente Academic
Documente Profesional
Documente Cultură
LGEBRA DE BOOLE Y
CIRCUITOS LGICOS
INTRODUCCIN.........................................................................................................3
CIRCUITOS LGICOS................................................................................................4
CONJUNTO DE PARTES DE BOOLE........................................................................5
CONJUNTO FINITO....................................................................................................5
RELACIONES ENTRE CONJUNTOS........................................................................6
CORRESPONDENCIAS Y APLICACIONES ENTRE CONJUNTOS.......................7
Relacin binaria.............................................................................................................7
Relacin de equivalencia...............................................................................................7
Relacin de orden..........................................................................................................8
Clase de equivalencia....................................................................................................9
Conjunto Cociente.........................................................................................................9
PROPOSICIONES:.....................................................................................................10
Proposicin SIMPLE:..................................................................................................10
Valor de verdad de una proposicin, (V) O (F)...........................................................10
Proposiciones Compuestas y Conectivos Lgicos......................................................10
POSIBILIDADES LGICAS.....................................................................................10
Negacin de una proposicin.......................................................................................11
La Conjuncin (p ^ q) smbolo lgico ^......................................................................12
La Disyuncin..............................................................................................................12
Disyuncin Exclusiva..................................................................................................13
Valor De Verdad Del Bicondicional............................................................................14
TABLAS DE VERDAD..............................................................................................15
AXIOMAS:.................................................................................................................15
LEYES DE LGEBRA PROPOSICIONAL..............................................................16
LEYES DE MORGAN................................................................................................18
Conectores Lgicos.....................................................................................................18
Casos:...........................................................................................................................18
CONCLUSIONES.......................................................................................................20
REFERENCIAS..........................................................................................................21
INTRODUCCIN
Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole,
constituyen un rea de las matemticas que ha pasado a ocupar un lugar prominente con el
advenimiento de la computadora digital. Son usadas ampliamente en el diseo de circuitos
de distribucin y computadoras, y sus aplicaciones van en aumento en muchas otras reas.
En el nivel de lgica digital de una computadora, lo que comnmente se llama hardware, y
que est formado por los componentes electrnicos de la mquina, se trabaja con
diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos que
forman el nivel. stas funciones, en la etapa de disea del hardware, son interpretadas
como funciones de Boole.
En la construccin de circuitos electrnicos se deben implementar funciones
booleanas, de la misma manera que se debe emplear la lgica como parte de los diseos de
los mismo. Por tanto es importante el estudio a profundidad de las los circuitos lgicos y el
Algebra Booleana.
CIRCUITOS LGICOS
Un circuito lgico es aquel que maneja la informacin en forma de "1" y "0", dos
niveles lgicos de voltaje fijos. "1" nivel alto o "high" y "0" nivel bajo o "low".
Los circuitos lgicos estn compuestos por elementos digitales como la compuerta
AND (Y), compuerta OR (O), compuerta NOT (NO) y combinaciones poco o muy
complejas de los circuitos antes mencionados.
Estas combinaciones dan lugar a otros tipos de elementos digitales como los
compuertas, entre otros.
-
Mutiplexores o multiplexadores
Demultiplexores o demultiplexadores
Decodificadores
Codificadores
Memorias
Flip-flops
Microprocesadores
Microcontroladores
etc.
"0" "1",
"On" y "Off",
Los circuitos lgicos se pueden representar de muchas maneras. En los circuitos de los
grficos anteriores la lmpara puede estar encendida o apagada ("on" o "off"), dependiendo
de la posicin del interruptor (apagado o encendido). Los posibles estados del interruptor o
interruptores que afectan un circuito se pueden representar en una tabla de verdad.
CONJUNTO DE PARTES DE BOOLE
Sea (P,) un conjunto parcialmente ordenado y sea S un subconjunto de P. Una cota
superior de S es un elemento c 2 P tal que s c para todo s 2 S. Una cota inferior de S es un
elemento d 2 P tal que d s para todo s 2 S. Una cota superior (inferior) c de S se denomina
el supremo (nfimo) de S si es menor o igual (mayor o igual) que cualquier otra cota
superior (cota inferior) de S. Si un subconjunto S de P admite supremo (nfimo) lo
denotaremos por sup S (inf S). En el caso que S tenga dos elementos, x, y, el supremo
(nfimo) de S sera denotado por x _ y (x ^ y).
Por lo tanto, un algebra de Boole es un conjunto parcialmente ordenado (B,) que
verifica las siguientes condiciones:
i.
ii.
iii.
iv.
Si x, y, z B, entonces x ^ (y V z) = (x ^ y) V (x ^ z).
CONJUNTO FINITO
En el ejemplo anterior, la clase de equivalencia del nmero cero (uno de los elementos
del conjunto de los nmeros enteros) C(0) = {... -4, -2, 0, 2, 4, ...}, pues 0 - (-4) es mltiplo
de 2, 0 - (-2) es mltiplo de 2 ya s sucesivamente. La clase de equivalencia del nmero 1
ser C(1) = {... -5, -3, -1, 1, 3, 5, ...} pues la diferencia entre 1 y los nmeros indicados es
mltiplo de 2.
Del mismo modo podramos calcular las clases de equivalencia de ms nmeros.
El conjunto formado por las clases de equivalencia se llama conjunto cociente.
En el ejemplo anterior el conjunto cociente Z / 2 es el conjunto formado por las clases
de todos los elementos Z / 2 = {C(0), C(1), C(2), ... }.
Relacin de orden
Una relacin binaria es una relacin de orden que tiene las propiedades:
Reflexiva: a R a
Antisimtrica: Si a R b y b R a entonces a = b.
Transitiva: Si a R b y b R a, entonces a R c.
Si en un conjunto se puede establecer una relacin de orden el conjunto se dice
ordenado.
Las relaciones de orden se representan con el smbolo menor igual (a <= b)
En un conjunto ordenado, si b <= a para todo b, a se llama elemento mximo. Si el
mximo existe es nico.
En un conjunto ordenado, si a <= b para todo b, a se llama elemento mnimo. Si el
mnimo existe es nico.
En un conjunto ordenado, si a <= b implica a = b, a y b, se llaman elementos
maximales.
En un conjunto ordenado, si b <= a implica a = b, a y b, se llaman elementos
minimales.
Clase de equivalencia
Bajo la relacin de congruencia mdulo n, el conjunto de enteros es partido en n
conjuntos distintos llamados clases de equivalencia.
Estas clases de equivalencia son llamadas, a menudo, clases residuales mdulo n. Una
clase residual mdulo n consta de los enteros que son congruentes entre s mdulo n. Por
ejemplo, bajo la relacin de congruencia mdulo 5, las cinco clases residuales constan de
los enteros de la forma respectivamente
, donde k
Cada clase residual mdulo n puede ser representada por uno cualquiera de sus
miembros; pero, por lo general, se representa cada clase residual por el menor entero no
negativo que pertenezca a esta clase. Hay que notar que dos enteros pertenecientes a
distintas clases residuales mdulo n son incongruentes mdulo n. Adems, todo entero
pertenece a una y slo una clase residual mdulo n.
Conjunto Cociente
Dada una relacin de equivalencia R en un conjunto A, se llama conjunto cociente de
A determinado por R al conjunto formado por todas las clases de equivalencia. Se le
representa por A/R. Es decir,
A/R={C[a]:aA}.
PROPOSICIONES:
Son enunciados que en un contexto determinado o en una teora se pueden calificar
como verdaderas o falsas.
Para designar una proposicin se utilizaran las letras minsculas. (p, q, r)
Proposicin SIMPLE:
Es aquella que se forma sin utilizar trminos de enlace.
Ejemplo:
p: Hoy es jueves
POSIBILIDADES LGICAS.
Una proposicin simple p slo tiene dos posibilidades, o es verdadera o es falsa.
10
La Disyuncin
Smbolo gramatical: o
Smbolo lgico: v
La disyuncin inclusiva es verdadera cuando al menos una de las proposiciones sea
verdadera y es falsa cuando todas las proposiciones simples sean falsas.
Ejemplo: Juanita, te dejo salir a jugar cuando arregles la cama o sacudas el polvo.
Disyuncin Exclusiva
La proposicin p v q cuando nicamente una de las proposiciones es verdadera y la
otra falsa.
El nmero 3 o es divisor de 6 o divisor de 10.
Tabla de verdad
12
mvn
V
La proposicin m es verdadera y la proposicin n es falsa luego m v n es verdadera.
Ejemplo: 18 es mltiplo de 6 18 es mltiplo de 5.
p (V) ; q (F) por lo tanto p v q es verdadera.
Valor De Verdad Del Bicondicional
Nos basaremos en el valor de verdad del condicional para poder determinar el valor de
verdad del bicondicional.
Si (p <=> q) ^(q <=> p) es equivalente a p <=> q.
La proposicin (p => q) ^(q => p) es lgicamente equivalente a (p <=> q) ^(q <=> p)
13
<=> F
F <=> F
V
b) p => (q ^ r)
c) p => (p ^ q)
d) (p ^ q) => (p v r)
e) (q ^ r) v (q v r)
f) (r ^ r ) v r
3. Escribir la proposicin dada en la forma si p entonces q determina su valor de
verdad.
a) Los pjaros son aves.
b) Slo las rectas no paralelas se cortan.
c) Slo las rectas perpendiculares forman ngulos rectos.
TABLAS DE VERDAD
Son utilizadas para establecer el valor de verdad de proposiciones compuestas.
Ejemplo: Hallar el valor de verdad de las siguientes proposiciones compuestas:
a) (p ^ q) v (q <=> p)
b) [(p => q) ^ p] => q
AvB
14
AXIOMAS:
Son proposiciones que son verdaderas por definicin.
Ejemplo: El todo es mayor que las partes
En matemticas, la deduccin es un proceso concatenado de la forma:
Si A entonces B, si B entonces C, si C entonces D hasta llegar a una conclusin.
El algebra de Boole es un conjunto de elementos, B, dos operaciones binarias: +,
denominada suma o adicin y , llamada producto o multiplicacin, que satisfacen los
siguientes axiomas:
Axioma 1: Las operaciones + y son conmutativas:
a+b=b+a
ab=ba
Axioma 2: Las operaciones + y son asociativas:
(a + b) + c = a + (b + c)
(a b) c = a (b c)
Axioma 3: Las operaciones + y son distributivas:
a + (b c) = (a + b) (a + c)
a (b + c) = (a b) + (a c)
Axioma 4: Las operaciones + y tienen elemento identidad 0 y 1, respectivamente:
a+0=a
a1=a
Axioma 5: Cada elemento a B tiene un complementario que se denota por a :
(Operacin unitaria)
a + a = 0
a a = 1
LEYES DE LGEBRA PROPOSICIONAL
15
16
(p v p) <=> V
P o no p siempre es verdadera. independientemente del valor de p.
AXIOMA 8 Ley de contradiccin
Si p es una proposicin cualquiera, entonces:
(p ^ p) <=> F
AXIOMA 9 Leyes de Morgan
Si p y q son proposiciones simples , o compuestas, entonces:
a) (p ^ q) <=> (p v q)
b) (p v q) <=> (p ^ q)
Negar una conjuncin o una disyuncin consiste en cambiar vo ^ y negar las
proposiciones dadas.
AXIOMA 10 Definicin alterna del condicional
Usando tablas de verdad podemos verificar que
p =>q <=> p v q
LEYES DE MORGAN
Son una parte de la Lgica proposicional, analtica, y fueron creadas por Augustus de
Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones
pueden ser lgicamente equivalentes.
Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de
conectivos lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin
Las Leyes de Morgan permiten:
El cambio del operador de conjuncin en operador de disyuncin y viceversa.
17
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan
pueden estar afirmadas o negadas (en todo o en sus partes).
Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus
miembros negados
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin conjuntiva con cada uno de sus
miembros negados
(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin disyuntiva negada en su totalidad y en sus
miembros.
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin conjuntiva negada en su totalidad y en sus
miembros.
18
CONCLUSIONES
lgebra de Boole (tambin llamada lgebra booleana) 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.
Un circuito lgico es aquel que maneja la informacin en forma de "1" y "0", dos
niveles lgicos de voltaje fijos. "1" nivel alto o "high" y "0" nivel bajo o "low". Los
circuitos lgicos estn compuestos por elementos digitales como la compuerta AND (Y),
compuerta OR (O), compuerta NOT (NO) y combinaciones
Las proposiciones son enunciados que en un contexto determinado o en una teora se
pueden calificar como verdaderas o falsas. Existen de igual manera la proposiciones
lgicas, las cuales guardan ciertas condiciones para ser verdaderas o falsas. En ellas son
tiles las tablas de verdad, utilizadas para establecer el valor de verdad de proposiciones
compuestas.
Otro tipo de proposiciones son los Axiomas, las cuales son verdaderas por definicin,
por lo que las mismas se transforman en leyes.
Tales como las Leyes de lgebra Proposicional que son proposiciones o axiomas que
constituyen las leyes tautolgicas.
Adems las Leyes de Morgan, creadas por Augustus de Morgan, son una parte de la
Lgica proposicional, analtica, en la que se declaran las reglas de equivalencia en las que
se muestran que dos proposiciones pueden ser lgicamente equivalentes. Esto permite el
cambio del operador de conjuncin en operador de disyuncin y viceversa, y tambin las
proposiciones conjuntivas o disyuntivas.
19
REFERENCIAS
20