1..- p˄q 2.

- (p˄q)˄r

p q p˄q p q r (p˄q) ˄ r
v v v v v v v v v
v f f v v f v f f
f v f v f v f f v
f f f v f f f f f
f v v f f v
f v f f f f
f f v f f v
˄˅ ̚ →↔ f f f f f f
¬

4.- (p˄q)v(pv~q) 5.- p˄q˄r

p q (p˄q) v (p v ~q) p q
v v v v v v f v v
v f f v v v v v v
f v f f f f f v f
f f f v f v v v f
f v
f v
f f
f f

7.- ~~(~p˄~q)v(p˄~q)

p q ~ ~ (~p ˄ ~q) v (p ˄
v v v v f f f f v f
v f f v f f v v v v
f v v f v f f f f f
f f v f v v v v f f

10.- p v q˄~r 11.- p˄q→r

p q r pvq ˄ ~r p q r
v v v v f f v v v
v v f v v v v v f
v f v v f f v f v
v f f v v v v f f
f v v v f f f v v
 f v f v v v f v f
f f v f f f f f v
f f f f f v f f f

13.- p↔~p 14.- ~(p˄~q)˄(p˄~q)

p p ↔ ~p p q ~ (p ˄
v v f f v v v v f
f f f v v f f v v
f v v f f
f f v f f

17.- p↔q v r 18.- [(~p v q)v(p˄q)]→[(~p v q) v ~

p q r p ↔ qvr p q [(~p
v v v v v v v v f
v v f v v v v f f
v f v v v v f v v
v f f v f f f f v
f v v f f v
f v f f f v
f f v f f v
f f f f v f

20.- (p ↔ ~q)v(p v ~q)

p q (p ↔ ~q) v (p v ~q)
v v v f f v v v f
v f v v v v v v v
f v f v f v f f f
f f f f v v f v v

23.- (p→q ˄ r)↔~(~q v r)v ~r

p q r (p→q ˄ r) ↔ ~ (~q v
v v v v v v f f f v
v v f v f f f v f f
v f v f f v v f f v
v f f f f f f v f f
 f v v v v v f f v v
f v f v f f f f v v
f f v v f v v f v v
f f f v f f f f v v

25.- (p→q) ˄ r→~(p v r)v ~r

p q r (p→q) ˄ r → ~ (p v r) v
v v v v v v f f v v
v v f v f f v f v v
v f v f f v v f v v
v f f f f f v f v v
f v v v v v f f v v
f v f v f f v f f v
f f v v v v f f v v
f f f v f f v f f v

28.- [(p v ~q)→(p→q)]→[(~p→ q) v ~p]v ~p

p q [(p v ~q) → (p→q)] → [(~p →

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

31.- (p˄q→r)→ (p v r)

p q r (p˄q → r) → (p v r)
v v v v v v v v
v v f v f f v v
v f v f v v v v
v f f f v f v v
f v v f v v v v
f v f f v f f f
f f v f v v v v
f f f f v f v f
 3.- ~(p→~q)˄(p˄~q)

p q ~ (p → ~q) ˄ (p ˄
v v v v f f f v f
v f f v v v f v v
f v f f v f f f f
f f f f v v f f f

6.- ~(p˄~q)˄(p˄~q)

r p˄q ˄ r p q ~ (p ˄
v v v v v v v v f
f v f f v f f v v
v f f v f v v f f
f f f f f f v f f
v f f v
f f f f
v f f v
f f f f

8.- p v q˄r 9.-

~q) p q r pvq ˄ r p
f v v v v v v v
v v v f v f f v
f v f v v v v f
v v f f v f f f
f v v v v v
f v f v f f
f f v f f v
f f f f f f

12.- p˄q→~r

p˄q → r p q r p˄q → ~r
v v v v v v v f f
v f f v v f v v v
f v v v f v f v f
f v f v f f f v v
f v v f v v f v f
 f v f f v f f v v
f v v f f v f v f
f v f f f f f v v

15.- ~~p v ~~q

~q) ˄ (p ˄ ~q) p q ~ ~p
f f v f f v v v f
v f v v v v f v f
f f f f f f v f v
v f f f v f f f v

p v q)v(p˄q)]→[(~p v q) v ~p]

v q) v (p˄q)] → [(~p v q) v ~p
v v v v v f v v v f
f f f f v f f f f f
v v v f v v v v v v
v v v f v v v f v v

21.- (~p ˄ q)v(~p →q)

p q (~p ˄ q) v (~p → q)
v v f f v v f v v
v f f f f v f v f
f v v v v v v v v
f f v f f f v f f

24.- (~q˄r) →~(~q v r)v ~r

r) v ~r p q r (~q ˄ r)
v f f v v v f f v
f v v v v f f f f
v f f v f v v v v
f v v v f f v f f
v f f f v v f f v
f v v f v f f f f
v f f f f v v v v
f v v f f f v f f

26.- (p→q) ˄(q→ r)→(p ˄ ~r)

~r p q r (p→q) ˄ (q → r) → (p
f v v v v v v f v
v v v f v f f v v
f v f v f f v v v
v v f f f f v v v
f f v v v v v f f
v f v f v f f v f
f f f v v v v f f
v f f f v v v f f

29.- [~(p v q)v(p→q)]→[(~p→ q) v ~p]

q) v ~p] v ~p p q [~ (p v q)
v v f v f v v f v
f v f v f v f f v
v v v v v f v f v
f v v v v f f f f
 ~q)
f
v
f
v

~q) ˄ (p ˄ ~q)
f f v f f
v f v v v
f f f f f
v f f f v

~(~p˄~q)˄(~p˄~q)

q ~ (~p ˄ ~q) ˄ (~p ˄ ~q)

v v f f f f f f f
f v f f v f f f v
v v v f f f v f f
f f v v v f v v v
 16.- pvq

v ~ ~q p q pvq
v v f v v v
v f v v f v
f v f f v v
f f v f f f

19.- (p v ~q)→(~p→~q)

p q (p v ~q) → (~p → ~q)

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

22.- ~q v ~p

p q ~q v ~p
v v f f f
v f v v f
f v f v v
f f v v v

→ ~ (~q v r) v ~r
v v f f f v f
v f f v v v v
f f v v f f f
v f v v v v v
 v v f f f v f
v f f v v v v
f f v v f f f
v f v v v v v

27.- ~p↔(q˄r) v ~(~q v r)

˄ ~r) p q r ~p ↔ (q ˄ r) v
f f v v v f f v f
v v v v f f v f v
f f v f v f v f v
v v v f f f v f v
f f f v v v v v v
f v f v f v f f v
f f f f v v f f f
f v f f f v f f f

)]→[(~p→ q) v ~p] 30.-

v (p→q)] → [(~p → q) v ~p] p

v v v f v v v f v
v f v f v f v f v
v v v v v v v v v
v v v v f f v v v
f
f
f
f
~ (~q v r)
f f v v
v f f f
f v v v
f v v f
f f v v
v f f f
f v v v
f v v f

(p→q)˄ (q→ r)→(p ˄ r)

q r (p→q) ˄ (q → r) → (p ˄r)
v v v v v v v
v f v f f v f
f v f f v v v
f f f f v v f
v v v v v f f
v f v f f v f
f v v v v f f
f f v v v f f