[(p∨q)∧(p→r)∧(q→s)∧(~s)]⟶p

Premisas:
P1: p∨q
P2: p→r
P3: q→s
P4: ~s

p q r s (p∨q) (p→r) (q→s)

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

v v v
v v v
v f f
v f f
v v
v v
v f f
v f f
f v
f v
f f
f f
f v
f v
f f
f f
(~s) (p∨q)∧(p→r) (q→s)∧(~s) [(p∨q)∧(p→r)∧(q→s) [(p∨q)∧(p→r)∧(q→s)∧(~s)]
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
[(p∨q)∧(p→r)∧(q→s)∧(~s)]⟶p
f v
f v
f v
f v
f v
v v
f v
f v
f f
f f
f f
f f
f f
f f
f f
f f