Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Bases Conceptuales
Bases Conceptuales
REGIONAL BOGOTÁ
(2521973)
GA3-220501093-AA1-EV01
ÁREA TÉCNICA
TECNOLOGÍA DE LA INFORMACIÓN
1
PROBLEMAS DE LÓGICA PROPOSICIONAL
EJERCICIO Nº 1
F OR V
Respuesta: v
P Q (P V Q)
V V V
V F V
F V V
F F F
2
EJERCICIO Nº 2
F AND F
Respuesta: F
P Q (P ∧ Q)
V V V
V F F
F V F
F F F
3
EJERCICIO Nº 3
P Q (P ∧ Q) ¬ (P ∧ Q)
V V V F
V F F V
F V F V
F F F V
P Q ¬ (P ∧ Q) ¬ (P ∧ Q)
1 1 1 0
1 0 0 1
0 1 0 1
0 0 0 1
4
EJERCICIO Nº 4
P Q ¬Q (P v ¬Q) ¬ (P v
¬Q)
V V F V F
V F V V F
F V F F V
F F V V F
P Q ¬Q (P v ¬Q) ¬ (P v
¬Q)
1 1 0 1 0
1 0 1 1 0
0 1 0 0 1
0 0 1 1 0