Solution to 1.

 

1.av~a

2.(b<->c)->c    /.:b->~a

 

 a  b  c  ~a  b<->c  av~a  (b<->c)->c  b->~a
 T  T  T  F  T  T  T  F
 T  T  F  F  F  T  T  F
 T  F  T  F  F  T  T  T
 T  F  F  F  T  T  F  T
 F  T  T  T  T  T  T  T
 F  T  F  T  F  T  T  T
 F  F  T  T  F  T  T  T
 F  F  F  T  T  T  F  T

 

The argument is not valid, as can be seen by the first row in which all premises (bold) are T, but the conclusion (italic) is F.