Here are some quick rules to help you symbolize propositions that use negation:
Not both p and q = ~(p ⋅ q)
Either not p or not q = ~p v ~q
Both not p and not q = ~p ⋅ ~q
Neither p nor q = ~(p v q)
Truth tables can be used to show that the first two proposition forms are equivalent, and the last two forms are equivalent. The meaning of the sentences also help to show this.