[(¬p → q) ^ (q → r)] ^ ¬r

p q r ~p ~r (¬p → q) (q → r)
1 V V V F F V V
2 V V F F V V F
3 V F V F F V V
4 V F F F V V V
5 F V V V F V V
6 F V F V V V F
7 F F V V F F V
8 F F F V V F V

http://logicaunad.com/jtruth/resolver.php

Y
V F F
F V F
V F F
V V V
V F F
F V F
F F F
F V F

p q r ~p ~r
1 v v v f f
2 v v f f v
3 v f v f f
4 v f f f v
5 f v v v f
6 f v f v v
7 f f v v f
8 f f f v v

q
v
v
f
f
v
v
f
f
 ^ ¬r [(¬p → q) ^ (q → r)] ^ ¬r
V F F f TRUE
F V F f TRUE
V F F f TRUE
V V V v TRUE
V F F f TRUE
F V F f TRUE
F F F f TRUE
F V F f TRUE

(¬p → q) (q → r) ^ ¬r [(¬p → q) ^ (q → r)] ^ ¬r

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

r
v v
f f
v v
f v
v v
f f
v v
f v
FALSE
FALSE
FALSE
FALSE
FALSE
FALSE
FALSE
FALSE