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

[(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
1 3 2 4
b) {[(p v q) ˄ r] ᵙ ~ q} = 23 = 8

[(p v q) ˄ r] ᵙ ~q
V V V V V F F
V V V F F V F
V V F V 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
1 3 2 4

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

p ˅ q ˄ r ᵙ q ≡ q ˄ r
V V V VV V V V V V V
V V V VF V V F V F F
V V F F V F F V F F V
V V F VF V F F F F F
F V V VV V V V V V V
F V V VF V V F V F F
F F F F V F F V F F V
F F F F F V F F F F F
1 3 2 4