Solution to 11.

 

(p<->q)<->{(p&q)v(~p&~q)}

 

 p  q  ~p  ~q  p&q  ~p&~q  (p&q)v(~p&~q)  p<->q  [entire statement]
 T  T  F  F  T  F  T  T  T
 T  F  F  T  F  F  F  F  T
 F  T  T  F  F  F  F  F  T
 F  F  T  T  F  T  T  T  T

 

The statement is a tautology, as can be seen by the fact that there are only Ts in its truth column.