CONSTRUCCIÓN DE SOFTWARE INTEGRADOR DE TECNOLOGÍAS

ORIENTADAS A SERVICIOS

PRESENTADO POR:
RICARDO CERVANTES CONTRERAS

PARA: GERMAN EDUARDO RAMIREZ RAMIREZ

BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL GA3-220501093-

AA1-EV01

LA COMPETENCIA
ANALISIS Y DESARROLLO DE SOFTWARE. (2626995)

SOLEDAD ATLANTICO
Teniendo en cuenta los conceptos desarrollados durante el componente formativo,
construir un documento donde se dé solución a los siguientes problemas de lógica
proposicional registrando cada uno de los pasos elaborados para llegar a la
solución: (2 * 5) < 8 OR ((4 * 6) > (2 * 5) ) (4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) )
Construir la tabla de verdad para las siguientes expresiones: ● ( P ∧ Q) ● ( P ∨ Q)

Problema 1: (2 * 5) < 8 OR ((4 * 6) > (2 * 5))

Para resolver este problema, necesitamos evaluar si el lado izquierdo del operador
OR es verdadero, o el lado derecho es verdadero, o ambos son verdaderos.
Veámoslo paso a paso:
 (2 * 5) < 8 --> 10 < 8 --> falso
 ((4 * 6) > (2 * 5)) --> 24 > 10 --> verdadero
Como el lado derecho del operador OR es verdadero, toda la operación es
verdadera. Por lo tanto, la solución es: verdadero.
Problema 2: (4+5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) )
Para resolver este problema, necesitamos evaluar si tanto el lado izquierdo del
operador AND como el lado derecho del operador AND son verdaderos. Si alguno
de ellos es falso, el resultado sería falso. Veámoslo paso a paso:
 (4 + 5) < 3 --> 9 < 3 --> falso
 ((5 * 5) + (4 + 25 < 3)) --> (25 + falso) --> 25
Como el lado izquierdo del operador AND es falso, toda la operación es falsa. Por
lo tanto, la solución es: falso.
Tablas de verdad:
La tabla de verdad es una tabla que muestra la salida de una compuerta lógica
cuando se aplican todas las combinaciones posibles de entradas.
 (P ∧ Q)
P Q  (P ∧ Q)
0 0 0
0 1 0
1 0 0
1 1 1

 (P ∨ Q)
P Q  (P ∨ Q)

0 0 0
0 1 0
1 0 1