Question 356188
p q ~q pV~q (pV~q)-> p

T-T-F---T---------T
T-F-T---T---------T
F-T-F---F---------T
F-F-T---T---------F
Sorry can't find vertical lines :)