Que yo sepa, siempre se puede formatear un disco rigido, que este cifrada la informacion no tiene nada que ver,, despues de todo es informacion.. puede que este dañado en un sector relevante para el formateo.. y ahi CREO que no hay solucion.. busca Diskpart, intenta con eso..
Suerte!
Suerte!