This is probably best discussed in a separate thread Ant_222. Nevertheless,
In the case of modalities (can, may , must, etc.), negation may apply to the modality or to the residue (the proposition)..
Let's start with You have to do it. (You must do it.)
Negating the modality gives: ...