一道用真值表法解的逻辑学题 谢谢~

有三个项，共八种组合。我写一种表示一下方法应该可以吧。
D→(A∨K),¬K,┝¬A→¬D
可以把它改写成这个形式容易看一点：
（D → ( A ∨ K ) ∧ ¬K ） → （ ¬A → ¬D ）
网站上不好对齐，我就横着写吧。
D:0,A:0,K:0,¬A:1,¬D:1,¬K：1；
A ∨ K:0,D → ( A ∨ K ):1,D → ( A ∨ K ) ∧ ¬K：1；
¬A → ¬D ：1
（D → ( A ∨ K ) ∧ ¬K ） → （ ¬A → ¬D ）：1