2.

1
p q (p V q) ® (~q ® p)
0 0 0 0 0 1 1 0 0
0 1 0 1 1 1 0 1 0
1 0 1 1 0 1 1 1 1
1 1 1 1 1 1 0 1 1

Tautologia
2.2
p q ~ (p V q) « (~q Λ ~p)
0 0 1 0 0 0 1 1 1 1
0 1 0 0 1 1 1 0 0 1
1 0 0 1 1 0 1 1 0 0
1 1 0 1 1 1 1 0 0 0

Tautologia

2.3
p q (p ® q) « (~p V q)
0 0 0 1 0 1 1 1 0
0 1 0 1 1 1 1 1 1
1 0 1 0 0 1 0 0 0
1 1 1 1 1 1 0 1 1

Tautologia

2.4
p q r [ (p Λ q) ν (~p Λ r) ν (q Λ r) ]
0 0 0 0 0 0 0 1 0 0 0 0 0 0
0 0 1 0 0 0 1 1 1 1 1 0 0 1
0 1 0 0 0 1 0 1 0 0 0 1 0 0
0 1 1 0 0 1 1 1 1 1 1 1 1 1
1 0 0 1 0 0 0 0 0 0 0 0 0 0
1 0 1 1 0 0 0 0 0 1 0 0 0 1
1 1 0 1 1 1 1 0 0 0 1 1 0 0
1 1 1 1 1 1 1 0 0 1 1 1 1 1
 Contingencia

2.5
p q r ~ [ (p Λ ~q Λ r) ν (p Λ q Λ r) ]
0 0 0 1 0 0 1 0 0 0 0 0 0 0 0
0 0 1 1 0 0 1 0 1 0 0 0 0 0 1
0 1 0 1 0 0 0 0 0 0 0 0 1 0 0
0 1 1 1 0 0 0 0 1 0 0 0 1 0 1
1 0 0 1 1 1 1 0 0 0 1 0 0 0 0
1 0 1 0 1 1 1 1 1 1 1 0 0 0 1
1 1 0 1 1 0 0 0 0 0 1 1 1 0 0
1 1 1 0 1 0 0 0 1 1 1 1 1 1 1
Contingencia