Strange alignment when using tilde as the not operator in logic

Strange alignment when using tilde as the not operator in logic

I wish to use ~ which has latex symbol: \sim for the negation sign in
logic. \sim and \neg are the two most frequent symbols for negation in
logic.
However, I get a strange looking result if I use \sim. The spacing with
the variables is odd as the \sim is further from the variable. Compare the
alternative using \neg and you will see what I mean.
How can I fix the spacing/alignment?
How can I show the results of my LateX code on SE?
Thanks in advance!