Apunte Lógica Computacional

Apuntes de Lógica Computacional
Curso 4to año ET
Lógica Computacional
¿Qué es la lógica computacional?
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de

la computación.
Se aplica fundamentalmente en campos como: Circuitos computacionales, programación
lógica, análisis y optimización (de recursos temporales y espaciales) de los algoritmos.
Todo sistema computacional, por muy complejo que sea, está compuesto de que circuitos
electrónicos, que únicamente entienden un lenguaje binario.
La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.
Aplicación Práctica
En la lógica de la programación, un programa de computadora consiste en una colección de axiomas y
reglas. Los sistemas de programación lógicos calculan las consecuencias de los axiomas y las reglas
organizadas para responder a una consulta.
En circuitos electrónicos, a un nivel menos abstracto dentro de una computadora está constituido por
circuitos electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones de la lógica
booleana; esto es, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le
dan al sistema.
Prof. Ing. Anabella De Couto

Página 1
Curso 4to año ET
Lógica Proposicional
Concepto:
Es una parte de la lógica que estudia las proposiciones y símbolos que se utilizan en formaciones de
nuevas proposiciones que podrán ser verdaderas o falsas.
Proposiciones
Es una expresión u oración que puede dar un juicio de valor, es una unidad semántica. Dicho de otro
modo, es un enunciado aseverativo del cual se puede señalar si es verdadero o falso, pero no ambos a la
vez.
Ejemplo.
Si continua la lluvia, el río aumentará su caudal.
Si el río aumenta entonces el puente será arrastrado.
Si el puente es arrastrado entonces habrá un solo camino para llegar al pueblo.
Para representar de manera abstracta cada unidad semántica, la lógica proposicional utiliza símbolos
que identifican cada enunciado.
Ejemplo.
p Representa la oración “Si continua la lluvia”
q Representa la oración “el río aumentará su caudal”
Valor de Verdad
Es la cualidad de veracidad que describe de forma adecuada la proposición. Se representa mediante los
símbolos V (verdadero) F (falso).
Tabla de verdad
Es una representación esquemática de las relaciones entre las proposiciones, y su resultado.
p q
1 V
0 F

Página 2
Curso 4to año ET
Operadores lógicos.
Un operador lógico es un símbolo matemático que indica que tipo de operación deberá ser llevada a
cabo entre dos o más proposiciones.
 Negación ( ¬ ) (~)
 Conjunción (˄)
 Disyunción (˅)
 Disyunción exclusiva (˅)
 Condicional ( =>)
 Bicondicional ()
Negación
La negación se simboliza con el signo “~” y se lee como “no”, “no es verdad que”. Cambia el valor de
verdad de una proposición.
p “Estoy jugando tenis”

~p “No estoy jugando tenis”
Si p fuese verdadero (V) entonces No p es Falso (F)
p ~p
V F
F V
Conjunción
La conjunción se simboliza con el signo “˄” y se lee como “y”, este operador lógico se relaciona con dos
proposiciones que tiene como resultado una tercera que es el resultado de la conjunción de ambas.
p “Hago los deberes”

q “Estudio para el examen”
Hago los deberes y estudio para el examen.

Esta afirmación es solo verdadera (V) cuando ambas proposiciones son verdaderas (V)
p q p ˄ q
V V V
V F F
F V F
F F F
Página 3
Curso 4to año ET
Disyunción
La disyunción se simboliza con el signo “˅” y se lee como “o”, este operador lógico se relaciona con dos
proposiciones que tiene como resultado una tercera que es el resultado de la disyunción de ambas.
p “Miro videos”
q “Escucho música”
Miro videos o escucho música.

Esta afirmación es solo falsa cuando ambas proposiciones son falsas (F).
p q p ˅ q
V V V
V F V
F V V
F F F
Disyunción exclusiva
La disyunción exclusiva se simboliza con el signo “˅” y se lee como “o solo, o solamente, o bien, O…, o”,
este operador lógico se relaciona con dos proposiciones que tiene como resultado una tercera, cuyo
valor de verdad (V) se obtiene solamente cuando una de ellas es verdadera.
p “Voy a comer”
q “Voy a dormir”
Voy a comer o bien voy a dormir. O voy a comer o voy a dormir.

Esta afirmación es solo verdadera cuando solo una de ellas es verdadera (V).
p q p ˅ q
V V F
V F V
F V V
F F F

Página 4
Curso 4to año ET
Implicación o Condicional
El operador condicional relaciona dos proposiciones para denotar una causa y un efecto. Se simboliza
con el signo “=>” y se lee “Si ocurre p entonces ocurre q”
p José es mendocino
q José es argentino.
Si José es mendocino entonces José es argentino.

El único caso en que la afirmación es falsa se produce cuando p es verdadero (V) y q es falso (F)
p q p => q
V V V
V F F
F V V
F F V
La expresión condicional tiene tres formas de expresión: p=>q

Recíproca q=>p
Inversa ~p=>~q
Contra recíproca ~q=>~p
Doble implicación o Bicondicional
El operador bicondicional relaciona dos proposiciones, se denota con el símbolo  y se lee “Si y solo si”.
Ocurre p si y solo si ocurre q.
p Mi nota es buena
q Apruebo el examen
Mi nota es buena si y solo si apruebo el examen.

Los únicos casos en que toda la expresión es verdadera (V) se producen cuando ambas tienen el mismo
valor, las dos verdaderas o las dos falsas.
p q p <=> q
V V V
V F F
F V F
F F V

Página 5
Curso 4to año ET
Proposiciones Equivalentes
Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad son idénticas. De ser así se
denota: p  q
Ejemplo
Sea la proposición p  q, recordamos su tabla de verdad
p q p => q
V V V
V F F
F V V
F F V
Ahora bien, si analizamos la proposición ~p  q, su tabla de verdad es
p ~p q ~p  q
V F V V
V F F F
F V V V
F V F V
Se observa que las tablas de valores de verdad de ambas proposiciones son iguales. Se dice que ambas
proposiciones son lógicamente equivalentes, y en este caso particular lo simbolizamos:
(p  q)  (~p  q)
Proposiciones Simples y Compuestas
Decimos que una proposición es simple cuando no se puede dividir y no posee un operador lógico.
Dicha proposición expresa solo una idea.
Ejemplo.
Hoy es lunes
Voy al partido de futbol
Decimos que una proposición es compuesta cuando está formada por dos o más proposiciones simples
unidas por operadores lógicos.
Ejemplo
Hoy es lunes entonces mañana es martes.
Voy al cine o a cenar con mis amigos.
Página 6
Curso 4to año ET
Variables proposicionales
Las variables proposicionales son letras que representan a una proposición simple o compuesta.
Ejemplo.
La proposición “Salimos a bailar” puede ser representada por la letra “p” mientras que “volveremos
tarde” puede ser representada por la letra “q”
Las variables proposicionales ayudan a resolver el valor de verdad de una afirmación, y permiten el
análisis de las proposiciones de una manera más simple.
Tablas de Verdad
Las tablas nos manifiestan los posibles valores de verdad de cualquier proposición, así como el análisis
de la misma en función de las proposiciones que la integran.
Se pueden encontrar los siguientes casos:
Tautología.
Se entiende por proposición tautológica, o tautología, aquella proposición que en todos los casos
posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los
valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las
relaciones sintácticas de unas con otras.
Ejemplo
p v ~p p ~p p v ~p
V F V
F V V
Contradicción
Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos
posibles de su tabla de verdad, su valor siempre es F. Dicho de otra forma, su valor F no depende de los
valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las
relaciones sintácticas de unas con otras
Ejemplo
p ˄ ~p p ~p p ˄ ~p
V F F
F V F
Contingencia
Se entiende por verdad contingente o verdad de hecho o contingencia, a aquella proposición que puede
ser verdadera o falsa, según los valores de las proposiciones que la componen.
Página 7
Curso 4to año ET
Ejemplo
p ˄ (q v r)
p q r (q v r) p ˄ (q v r)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F
Principios básicos de la lógica

Los principios básicos de la lógica están respaldados por el siguiente conjunto de leyes fundamentales
para la resolución de las proposiciones.
Ley de Identidad o Idempotencia

Es la propiedad de realizar una acción determinada y obtener siempre como resultado la misma
proposición.
pvp ≡p q˄q≡q
Ley de involución o doble negación.

El la propiedad de negar dos veces la misma proposición, y se obtiene la proposición inicial.
~ (~p) ≡ p ~ (~q) ≡ q
Ley conmutativa
Las proposiciones son conmutativas para las operaciones de conjunción, disyunción y bicondicional.
pvq≡qvp
p˄q≡q˄p
p q ≡ q  p

Página 8
Curso 4to año ET
Ley asociativa
Las proposiciones pueden asociarse de distintas maneras cuando las operaciones que las relacionan son
las mimas para toda la proposición compuesta, esto se cumple para la conjunción y la disyunción.
(p v q) v r ≡ p v (q v r)
(p ˄ q) ˄ r ≡ p ˄ (q ˄ r)
Ley distributiva
Cuando tenemos en una misma proposición compuesta, operadores de conjunción y disyunción se
puede se pueden distribuir de la siguiente forma.
p v (q ˄ r) ≡ (p v q) ˄ (p v r)
p ˄ (q v r) ≡ (p ˄ q) v (p ˄ r)
Ley de absorción total

Esta ley se demuestra por tablas de verdad.
p ˄ (p v q) ≡ p
Ley de absorción parcial

Esta ley se demuestra por tablas de verdad.
p v (~p ˄ q) ≡ p v q
Ley condicional
p => q ≡ ~p v q
Ley bicondicional
p  q ≡ p => q ˄ q => p
Formas normales para la conjunción y la disyunción
p˄V≡p p˄F≡F
pvV≡V pvF≡p

Página 9
Curso 4to año ET
Álgebra de Conjuntos
El álgebra de conjuntos, es la parte de la matemáticas que estudia las operaciones básicas que
pueden realizarse entre conjuntos, como la unión, intersección y complementación.
Definiremos que es un conjunto.
Un conjunto es una colección de elementos reunidos o agrupados de alguna forma. Y se dice que un
elemento pertenece a un conjunto si está incluido en él.
Ejemplo: A = {Lunes, Martes, Miércoles, Jueves, Viernes, Sábado, Domingo}
El conjunto A, está compuesto de por los días de la semana.

Los conjuntos pueden escribirse como una lista de elementos. Y generalmente se los designa con letras
mayúsculas.
Un elemento pertenece a un conjunto si está incluido en él. Lo denotaremos de la siguiente forma:
Ejemplo: a∈A A
a
Los conjuntos pueden ser finitos o infinitos.
Conjuntos finitos.
Decimos que un conjunto es finito, si es posible enumerar todos los elementos que lo componen.
Ejemplo: B es el conjunto formado por todos los países de América.
Conjuntos infinitos
Podemos afirmar que un conjunto es infinito, cuando no es posible enumerar todos los elementos que
lo componen.
Ejemplo: C es el conjunto de los números naturales
Además, los conjuntos pueden combinarse mediante operaciones matemáticas.
Conjunto vacío
Definimos como conjunto vacío al conjunto que NO contiene elementos. Y se denota por o simplemente
{}

Página 10
Curso 4to año ET
Conjunto universal
Llamamos conjunto universal al conjunto que contiene TODOS los elementos en cuestión. Y se denota
por la letra U
Subconjunto
Diremos que A es un subconjunto de B si todos los elementos que componen al conjunto A pertenecen
también al conjunto B y establecemos que A pertenece o está incluido en B.
Ejemplo: B A A
B
Operaciones con Conjuntos
 Unión. La unión de dos conjuntos A y B es el conjunto A ∪ B que contiene todos los elementos
de A y de B.
 Intersección. La intersección de dos conjuntos A y B es el conjunto A ∩ B que contiene todos los
elementos comunes de A y B.
 Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los
elementos de A que no pertenecen a B.
 Diferencia simétrica. La diferencia simétrica entre dos conjuntos A y B es el conjunto que
contiene los elementos de A y B que no son comunes.
 Complemento. El complemento de un conjunto A es el conjunto A∁ que contiene todos los
elementos que no pertenecen a A.
 Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el conjunto A × B que
contiene todos los pares ordenados (a, b) cuyo primer elemento pertenece a A y su segundo
elemento pertenece a B.
Propiedades de los conjuntos
La intersección o la unión de conjuntos son asociativas. Dado los conjuntos A,B y C decimos que se
cumple el siguiente axioma.
La intersección o la unión de conjuntos son conmutativas. Dado los conjuntos A,B y C decimos que se
cumple el siguiente axioma.

Página 11
Curso 4to año ET
Álgebra de Boole
¿Qué es?
Álgebra de Boole es la rama de la matemática que estudia la combinación de elementos y

estructuras abstractas, siguiendo ciertas reglas aritméticas. Se denomina así en honor a su
creador George Boole, matemático británico, considerado como uno de los fundadores del
campo de las ciencias de la computación.
El álgebra booleana son reglas algebraicas, basadas en la teoría de conjuntos, para manejar
ecuaciones de lógica matemática. Su objetivo principal fue la simplificación de los circuitos
lógicos.
Para entender correctamente el Algebra de Boole, es necesario partir de algunas

definiciones elementales.
Definición de álgebra de Boole
Se dice que un conjunto de elementos B, en el que existen definidas dos operaciones binarias
(que representaremos por + y por •) tiene estructura de álgebra de Boole si y solo si se
cumplen las siguientes leyes:
1 Ley Conmutativa.
Dado dos elementos del conjunto B, que denominaremos a y b, Las operaciones + y •
son conmutativas.
Ejemplo: a + b = b + a y a • b= b • a
2. Ley Asociativa.
Dado tres elementos del conjunto B, que denominaremos a, b y c. Las operaciones + y •
son asociativas respecto de la suma y de la multiplicación.
Ejemplo: ( a + b ) + c = a +(b+c)
(a• b)• c = a• (b•c )
3 Ley del elemento Neutro

Existe en B dos elementos, que denotaremos con { 0 , 1 }, para las operaciones de + y •
respectivamente.
Ejemplo: a+0=a a•1=a

a• 0=0 a+1=1
En algunos textos se puede encontrar también como ley de dominación, cuando se trate de { • ,0 } o de
{ + , 1}

Página 12
Curso 4to año ET
4 Ley distributiva
Cada operación es distributiva con respecto a la otra. (Estas leyes pueden demostrarse por
tablas de verdad)
Ejemplo: a•(b+c) =(a•b)+(a•c)

a+(b•c) =(a+b)• (a+c)
5. Ley de complemento
Para cada elemento del conjunto B, existe su complemento de forma tal que:
Si el elemento “a” pertenece al conjunto B, entonces existe un elemento “~a” en donde

se cumple lo siguiente:
Ejemplo: a+ā=1 y a• ā=0
También podemos expresar el complemento de esta forma “ā “
6. Ley de Idempotencia
Dado un elemento a del conjunto B, se dice que es idempotente para las operaciones
de + y •, donde se cumple que:
Ejemplo: a+a=a y a•a=a
7. Ley de involución o doble complemento

El complemento del complemento de a, es siempre el mismo elemento a.
__
Ejemplo: ( ā) = a
8. Ley de absorción.
Dados dos elementos a y b que pertenecen al conjunto B, se dice que “a” es absorbente
para las operaciones de { +, • } para los casos.
Ejemplo: a•(a+b)=a a+(a•b)=a
En la ley de absorción también podemos afirmar que:
a +ā•b=(a+b)
Todas estas leyes definen un álgebra de Boole, pero además existe una Ley importante que al
igual que las anteriores permite reducir las operaciones y transformarlas en una más simple y
equivalentes. Esta es llamada Ley de De Morgan.

Página 13
Curso 4to año ET
Ley de De Morgan
Reseña.
Augustus De Morgan, matemático británico nacido en la India, conocido por formular procedimientos de
inducción matemática.
La ley de De Morgan dice que es posible representar mediante una transformación el

complemento de las operaciones de álgebra de Boole.
Ejemplo
____ __ __
(a + b) = a • b
____ __ __
(a . b) = a + b
Todas estas leyes tienen como finalidad sintetizar una expresión algebraica de Boole, y
transformarla en una más simple.
Ejemplo:
_ _
Dada la expresión A • B + B • C + A • B • C simplificar aplicando las leyes del álgebra de Boole.
_ _ _ _ _
1) A • B • (C + C) + (A + A) • B • C + A • B • C aplicamos ley de complemento ya que (C+C) = 1
y (A+Ā) = 1, por supuesto antes usamos la ley de
elemento neutro
_ _ _ _
2) A • B • C + A • B • C + A • B • C + A • B • C + A • B • C aplicamos idempotencia para anular
uno de los términos
_ _ _ _
3) A • B • C + A • B • C + A • B • C + A • B • C aplicamos factor común (factorización)
_ _ _
4) A • B • (C + C) + A • C • (B + B) aplicamos nuevamente la ley de complemento
_
5) A • B + A • C este es el resultado final

Página 14
Curso 4to año ET
Ejemplo de demostración de las leyes del álgebra de Boole, mediante tablas de verdad.
Tomemos los operadores {0,1} como {F,V} respectivamente.
Distributiva.
a + (b • c) = (a + b) • (a + c)
a b c (b•c) a+(b• c)
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 1 1
1 0 0 0 1
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
a b c (a+b) (a+c) (a+b) •(a+c)

0 0 0 0 0 0
0 0 1 0 1 0
0 1 0 1 0 0
0 1 1 1 1 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1
Absorción
a + (a • b) = a
a b (a + b) a+(b• a)
0 0 0 0
0 0 0 0
0 1 1 0
0 1 1 0
1 0 1 1
1 0 1 1
1 1 1 1
1 1 1 1

Página 15
Curso 4to año ET
Compuertas Lógicas
Las compuertas lógicas son los dispositivos de implementación práctica que operan con el
álgebra de Boole, ya que son la base constructiva de la electrónica digital.
Estas compuertas lógicas mantienen una estricta relación con la realidad de los circuitos
comprendidos en las computadoras y equipamiento electrónico.
No todas las funciones lógicas tienen interés práctico. En el cuadro siguiente se muestran las
compuertas lógicas más usuales.
Una red de compuertas lógicas constituye un circuito lógico combinado.
Compuerta AND – Y
La función de esta compuerta es realizar el producto booleano entre dos o más entradas. La
forma de representación mediante álgebra de Boole es z = a • b
El símbolo que representa esta compuerta es:
a z
b
La tabla de verdad que representa esta compuerta es la siguiente:
a b z=a • b
0 0 0
0 1 0
1 0 0
1 1 1

Página 16
Curso 4to año ET
Compuerta OR – O
La función de esta compuerta es realizar la suma booleana entre dos o más entradas. La forma
de representación mediante álgebra de Boole es z = a + b
El símbolo que representa esta compuerta es:
a z
b
a b z= a + b
0 0 0
0 1 1
1 0 1
1 1 1
Compuerta XOR – O exclusivo

La función de esta compuerta es realizar la suma booleana de tipo z=(ā • b) + (a • ƀ) y el
símbolo que se utiliza para este caso es (signo más "+" inscrito en un círculo). z = a
El símbolo que representa
a z
b
a b z= a + b
0 0 0
0 1 1
1 0 1
1 1 0

Página 17
Curso 4to año ET
Compuerta NOT – Inversor.

Esta compuerta lógica cumple la función de invertir o negar el valor. La forma de representar en
álgebra de Boole es z=ā
El símbolo que se utiliza para este caso es
a ā
a ā
0 1
1 0
Compuerta N-AND
La función de esta compuerta es negar el producto booleano. La forma de representarlo en
algebra de Boole es ___
z=a•b
El símbolo utilizado para esta compuerta es:
a z
b
a b ____
z=a • b z=a • b
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0

Página 18
Curso 4to año ET
Compuerta N-OR
La función de esta compuerta es negar la suma booleano. La forma de representarlo en
algebra de Boole es ___
z=a+b
Se simboliza mediante
a z
b
a b ____
z=a + b z=a + b
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
Compuerta XNOR
La función de esta compuerta es negar la compuerta XOR. La forma de representar esta
compuerta mediante algebra de Boole es: _____
z=a
El símbolo que le corresponde a esta compuerta es:
a b ______
z=a b z=a b
0 0 0 1
0 1 1 0
1 0 1 0
1 1 0 1

Página 19
Curso 4to año ET
Circuitos Lógicos
Los circuitos lógicos son la combinación de las compuertas lógicas, concatenadas de alguna
forma, tal que puedan cumplir una función específica.
Las expresiones booleana pueden ser expresadas en un circuito lógico, reemplazando sus
operadores por las compuertas correspondientes.
Ejemplo:
MINTERM o Mini Término.
Llamaremos MINTERM o Mini Término a una expresión lógica, que consiste en un conjunto de
variables complementadas o no, unidas solamente por la operación booleana AND (producto).
Ejemplo. A•B
MAXTERM o Max Término.
Llamaremos MAXTERM o Max Término a una expresión lógica que consiste en un conjunto de
variables complementadas o no, unidas solamente por la operación booleana OR (suma).
Ejemplo. A+B

Página 20
Curso 4to año ET
Principio de DUALIDAD
Cualquier propiedad en el álgebra de Boole sigue siendo válida si se intercambian entre sí las
operaciones de producto (•) y suma (+) y además se intercambian entre sí los elementos
neutros, cero (0) y uno (1).
Ejemplos:
A+0=A su dual seria A • 1 = A
A A A A
0 = 1
_____
Ā+ =Z su dual sería A•B=Z
FORMAS CANONICAS CONJUNTIVAS Y DISYUNTIVAS
Toda expresión booleana puede expresarse de dos formas canónicas diferentes:
a) Expresar en función de sumas de MINTERM forma canónica disyuntiva

b) Expresar en función de productos de MAXTERM forma canónica conjuntiva.
Ejemplo de forma canónica disyuntiva y conjuntiva
Z=(A• )+(Ā•B) sumas de MINTERM - disyuntiva
Z=(Ā+B)•(A+ ) producto de MAXTERM - conjuntiva

Página 21

Apunte Lógica Computacional

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Apunte Lógica Computacional

Încărcat de

Drepturi de autor:

Formate disponibile

Apuntes de Lógica Computacional

Curso 4to año ET

¿Qué es la lógica computacional?

La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de

Prof. Ing. Anabella De Couto

Prof. Ing. Anabella De Couto

p “Estoy jugando tenis”

Si p fuese verdadero (V) entonces No p es Falso (F)

p “Hago los deberes”

Hago los deberes y estudio para el examen.

Miro videos o escucho música.

Voy a comer o bien voy a dormir. O voy a comer o voy a dormir.

Prof. Ing. Anabella De Couto

Si José es mendocino entonces José es argentino.

La expresión condicional tiene tres formas de expresión: p=>q

Doble implicación o Bicondicional

Mi nota es buena si y solo si apruebo el examen.

Prof. Ing. Anabella De Couto

Sea la proposición p  q, recordamos su tabla de verdad

Ahora bien, si analizamos la proposición ~p  q, su tabla de verdad es

Proposiciones Simples y Compuestas

Se pueden encontrar los siguientes casos:

Principios básicos de la lógica

Ley de Identidad o Idempotencia

Ley de involución o doble negación.

Prof. Ing. Anabella De Couto

Ley de absorción total

Ley de absorción parcial

Formas normales para la conjunción y la disyunción

Prof. Ing. Anabella De Couto

Definiremos que es un conjunto.

Ejemplo: A = {Lunes, Martes, Miércoles, Jueves, Viernes, Sábado, Domingo}

El conjunto A, está compuesto de por los días de la semana.

Ejemplo: B es el conjunto formado por todos los países de América.

Ejemplo: C es el conjunto de los números naturales

Además, los conjuntos pueden combinarse mediante operaciones matemáticas.

Prof. Ing. Anabella De Couto

Propiedades de los conjuntos

Prof. Ing. Anabella De Couto

Álgebra de Boole es la rama de la matemática que estudia la combinación de elementos y

Para entender correctamente el Algebra de Boole, es necesario partir de algunas

Definición de álgebra de Boole

3 Ley del elemento Neutro

Ejemplo: a+0=a a•1=a

Prof. Ing. Anabella De Couto

Ejemplo: a•(b+c) =(a•b)+(a•c)

Si el elemento “a” pertenece al conjunto B, entonces existe un elemento “~a” en donde

Ejemplo: a+ā=1 y a• ā=0

También podemos expresar el complemento de esta forma “ā “

Ejemplo: a+a=a y a•a=a

7. Ley de involución o doble complemento

Ejemplo: a•(a+b)=a a+(a•b)=a

En la ley de absorción también podemos afirmar que:

Prof. Ing. Anabella De Couto

La ley de De Morgan dice que es posible representar mediante una transformación el

Prof. Ing. Anabella De Couto

a b c (a+b) (a+c) (a+b) •(a+c)

Prof. Ing. Anabella De Couto

Una red de compuertas lógicas constituye un circuito lógico combinado.

La tabla de verdad que representa esta compuerta es la siguiente:

Prof. Ing. Anabella De Couto

La tabla de verdad que representa esta compuerta es la siguiente:

Compuerta XOR – O exclusivo