Apunte Lógica Computacional
Apunte Lógica Computacional
Apunte Lógica Computacional
Lógica Computacional
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.
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
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 ~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 q p ˄ q
V V V
V F F
F V F
F F F
Prof. Ing. Anabella De Couto
Página 3
Apuntes de Lógica Computacional
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”
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”
p q p ˅ q
V V F
V F V
F V V
F F F
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.
p q p => q
V V V
V F F
F V V
F F V
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
p q p <=> q
V V V
V F F
F V F
F F V
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
p q p => q
V V V
V F F
F V V
F F V
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)
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.
Prof. Ing. Anabella De Couto
Página 6
Apuntes de Lógica Computacional
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.
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.
Prof. Ing. Anabella De Couto
Página 7
Apuntes de Lógica Computacional
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
pvp ≡p q˄q≡q
~ (~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
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)
p ˄ (p v q) ≡ p
p v (~p ˄ q) ≡ p v q
Ley condicional
p => q ≡ ~p v q
Ley bicondicional
p q ≡ p => q ˄ q => p
p˄V≡p p˄F≡F
pvV≡V pvF≡p
Á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.
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∈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.
Conjuntos infinitos
Podemos afirmar que un conjunto es infinito, cuando no es posible enumerar todos los elementos que
lo componen.
Conjunto vacío
Definimos como conjunto vacío al conjunto que NO contiene elementos. Y se denota por o simplemente
{}
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.
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.
Álgebra de Boole
¿Qué es?
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.
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 )
En algunos textos se puede encontrar también como ley de dominación, cuando se trate de { • ,0 } o de
{ + , 1}
4 Ley distributiva
Cada operación es distributiva con respecto a la otra. (Estas leyes pueden demostrarse por
tablas de verdad)
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:
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.
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.
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.
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
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
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
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.
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
a b z=a • b
0 0 0
0 1 0
1 0 0
1 1 1
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
a z
b
a b z= a + b
0 0 0
0 1 1
1 0 1
1 1 0
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
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
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
a b ______
z=a b z=a b
0 0 0 1
0 1 1 0
1 0 1 0
1 1 0 1
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:
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
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
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