Logik, Härledning med semantisk tablåer

Hej, jag förstår inte hur jag ska gå tillväga, någon snäll själ som kan förklara, eller har bra hemsida eller tips? Utför härledningarna med semantisk tablå




(a) p l- t ¬ (p ∧ ¬ q)

b) l- t (p ∧ ¬p) → p

c) { ¬p v ¬q,p} l- t ¬q

d) l-t [p → (q → r)] → [p ∧ q → r]

Jag testade google. Kanske http://www8.cs.umu.se/kurser/TDBB08/...rel/forel8.pdf

Ingen aning hur det fungerar tyvärr, men här är en tråd som frågat om en liknande och iaf fått ett svar: https://www.flashback.org/t1548479

Tack för hjälpen