Solution to 7.

 

(jv~k)&{~k->(~l&l)}

 

 j  k  l  ~k  ~l  jv~k  ~l&l  ~k->(~l&l)  [entire statement]
 T  T  T  F  F  T  F  T  T
 T  T  F  F  T  T  F  T  T
 T  F  T  T  F  T  F  F  F
 T  F  F  T  T  T  F  F  F
 F  T  T  F  F  F  F  T  F
 F  T  F  F  T  F  F  T  F
 F  F  T  T  F  T  F  F  F
 F  F  F  T  T  T  F  F  F

 

The statement is a contingency, as can be seen by the fact that there are both Ts and Fs in its truth column.