Actividad 1.

Tablas de verdad _ Unidad 3 _ Logica para la solución de problemas

Alumna: Naomi Elizabeth Citalán Arcega
Profesor: Alejandro Egmont Choreño Borjas
Grupo: KP_0821_26G_LSP
Escuela: High Kipling Online_BUNAM

Tablas de verdad de proposiciones compuestas

Aplica la formula, detecta la conectiva lógica principal (marcada en naranja) y sigue
los signos de agrupación para aplicar los criterios de valores de verdad de cada
conectiva lógica.

a) {[(p ᵙ q) ˄ p] ᵙ q} 22=4 /2=22 /2=1

{[(p ᵙ q) ˄ p] ᵙ q}
v v v v v v v
v f f f v f f
f v v f f v v
f v f f f v f

b) {[(p v q) ˄ r] ᵙ ~ q} 23=8/2=4 4 /2=2 2/2=1

{[(p v q) ˄ r] ᵙ ~ q}
v v v v v esta
v v v f f
v v f f v columna
v v f f f
f v v v v no deve
f v v f f
f f f f v de estar aquí
f f f f f

{[(p v q) ˄ r] ᵙ ~q}
v v v v v f f
v v v f f v f
v v f f v v v
v v f f f v v
f v v v v f f
f v v f f v f
f f f f v v v
f f f f f v v

c) {[(p ˅ q) ˄ (r ᵙ q)] ≡ (q ˄ r)}

{[(p ˅ q) ˄ (r ᵙ q)] ≡ (q ˄ r)}

v v v v v v v v v v v
v v v f f v v v v f f
v v f f v f f v f f v
v v f f f v f v f f f
f v v v v v v v v v v
f v v f f v v v v f f
f f f f v f f v f f v
f f f f f v f v f f f