Determine which of the following statements are negations in propositional logic notation with a tilde (~) as the main operator. Check all that apply.
~{~M • ~[~(~~J • ~T) ⊃ (W ≡ ~~I)]}
~{~[C~(P ⊃ F)] ≡ ~(S • D)}
~(~T • R)
~P ⊃ ~S
~{~N ⊃ [~(H ≡ Y) • ~(G ∨ K)]} • [(~L ∨ ~E) ≡ ~Q]
~~[(~~D ⊃ ~~C) • E] ∨ L
~[I ⊃ (~L • ~Q)] ⊃ [~(U ⊃ ~R) ∨ ~(T ⊃ ~L)]
~[R • (Z ≡ W)]
~~[(S ⊃ T) ∨ (~E ⊃ M)]
~(~X • ~P) • ~(~Z ∨ ~N)