Symbolizing Negations: The sentences below illustrate common uses of the tilde. Be sure to check the help screen for important info about fill-in-the-blank symbolization exercises.

It's false that JANET dislikes jello; however, she would never WRESTLE in it.
1. ~~J&~W
2. ~(~J&~W)
3. ~J&~W
It's not true that BATS cannot see, nevertheless, many of them are unATTRACTIVE.
1. ~~B&~A
2. ~(~B&~A)
3. ~~B&~~A
4. ~B&~A
Though they have no talent for SYMBOLIZATION, it's false that zombies cannot construct PROOFS.
1. ~S&~~P
2. S&~P
3. ~(S&~P)
4. ~S&~P
If you have not WALKED in my shoes, you will not UNDERSTAND my choice of socks.
1. ~W→~U
2. ~(W→~U)
3. ~(U→~W)
4. ~U→~W
The party will not END so long as the beer still FLOWS and the neighbors do not COMPLAIN.
1. (F&~C)→~E
2. ~((F&~C)→E)
3. ~E→(F&~C)
4. ~(E→(F&~C))
I do not LIKE you and I will not SPEAK to you; however, I would never EAT your jello nor TEASE your gerbils.
1. ~L&~S&~E&~T
2. ~L&~S&~(E&T)
3. ~(L&S)&~E&~T
4. ~(L&S)&~(E&T)
I'm going to Europe this WEEKEND, but I haven't time to visit both LONDON and PARIS.
1. W&~(L&P)
2. W&~L&~P
3. W→~(L&P)
4. W→(~L&~P)
A table cannot be both ROUND and SQUARE; moreover, it can be made of neither JELLO nor PUDDING.
1. ~(R&S)&~J&~P
2. ~R&~S&~J&~P
3. ~R&~S&~(J&P)
4. ~(R&S)&~(J&P)
It's false that she teachers both ART and LOGIC; however, it's true that she admires both CREATIVITY and RATIONALITY.
1. ~(A&L)&C&R
2. ~A&~L&C&R
3. ~(A&L)→(C&R)
4. (~A&~L)→(C&R)
Supposing that God is all-GOOD, but not all-POWERFUL, then it's not impossible for Satan to TRIUMPH.
1. (G&~P)→~~T
2. G&(~P→~T)
3. ~~T→(G&~P)
4. ~(~T→(G&~P))
Given that you like RAMEN but not SPAGHETTIOS, I do not TRUST you and I suspect you are a COMMUNIST.
1. (R&~S)→(~T&C)
2. ~(R&S)→~(T&C)
3. (~T&C)→(R&~S)
4. ~(T&C)→~(R&S)
It's false that one can be HAPPY only when it does not RAIN.
1. ~(H→~R)
2. ~H→~R
3. ~(~R→H)
4. ~R→~H
It's not true that eating JELLO leads to LICENTIOUSNESS and DEBAUCHERY.
1. ~(J→(L&D))
2. ~J→(L&D)
3. J→~(L&D)
4. ~(L&D)→J
It's not the case that we will have MALT liquor and PRETZELS only if BRENDA shows up.
1. ~((M&P)→B)
2. ~(M&P)→B
3. ~(B→(M&P))
4. ~B→(M&P)
It's false that TIGHTS and a CAPE are sufficient for being a SUPERHERO.
1. ~((T&C)→S)
2. (T&C)→~S
3. ~S→(T&C)
4. ~(S→(T&C))
You should not EAT the jello unless it is JIGGLY.
1. ~J→~E
2. ~(J→~E)
3. ~E→~J
4. ~(E→~J)
Everything can be UNDERSTOOD unless the world is not RATIONAL.
1. ~~R→U
2. ~R→U
3. ~U→R
4. U→~~R
We will SING and DANCE unless our NOSES fall off.
1. ~N→(S&D)
2. ~(N→(S&D))
3. ~(S&D)→~N
4. ~((S&D)→N)
Unless I am DREAMING, there is a TABLE before me and I am not a GOURD.
1. ~D→(T&~G)
2. ~(D→(T&~G))
3. ~(T&~G)→~D
4. ~((T&~G)→D)
Unless ZENO cannot be trusted, motion is imPOSSIBLE and change is not REAL.
1. ~~Z→(~P&~R)
2. ~~(Z→(~P&~R))
3. ~(~P&~R)→Z
4. ~((~P&~R)→~Z)
It's false that LIFE is not worth living unless there's JELLO.
1. ~(~J→~L)
2. ~~J→~L
3. ~(~L→~J)
4. ~~L→~J
Being IMAGINARY is not a sufficient condition for being a BASILISK.
1. ~(I→B)
2. I→~B
3. ~(B→I)
4. ~B→I
Having a BEARD is not a sufficient condition for being a PHILOSOPHER, moreover, living in a CAVE is insufficient for being WISE.
1. ~(B→P)&~(C→W)
2. (B→~P)&(C→~W)
3. (B→~P)&~(W→C)
4. ~(P→B)&~(W→C)
Slaying DRAGONS is not essential for being a KNIGHT, and slaying PRINCESSES is not adequate for being a knight.
1. ~(K→D)&~(P→K)
2. ~(D→K)&~(K→P)
3. ~(D→K)&~(P→K)
4. ~(K→D)&~(K→P)
It's not necessary to destroy MEANING to discover TRUTH.
1. ~(T→M)
2. (T→~M)
3. ~M→T
4. ~(M→T)
MUSIC and ART are not required for LIFE, but without CREATIVITY, advertising would be less PERSUASIVE.
1. ~(L→(M&A))&(~C→P)
2. ~((M&A)→L)&(~C→P)
3. (L→~(M&A))&~(C→P)
4. ~((M&A)→L)&~(P→C)
Provided that you don't PROVOKE them, the bears will not ATTACK, unless they're HUNGRY.
1. ~P→(~H→~A)
2. ~(P&H)→~A
3. ~P→(~A→H)
4. ~(P&A)→H
It's not true that you will SUCCEED only if you're LUCKY and yet it's false that you won't succeed only if you're unlucky.
1. ~(S→L)&~(~S→~L)
2. ~(L→S)&~(~L→~S)
3. (~S→L)&(~~S→~L)
4. ~((L→S)&(~L→~S))
If you don't have both a RACKET and a BALL, you cannot play TENNIS.
1. ~(R&B)→~T
2. (~R&~B)→~T
If it doesn't have WINGS and FEATHERS then it's not a BIRD.
1. ~(W&F)→~B
2. (~W&~F)→~B
If you don't have a COAT and GLOVES, then if there's not a HEATER nor a FIRE, you will SHIVER.
1. (~(C&G)→S)→(~H&~F)
2. ~(C&G)→(S→(~H&~F))
3. (~(C&G)→(~H&~F))→S
4. ~(C&G)→((~H&~F)→S)
It's false that if you understand MATH and PHYSICS you also understand ART, LOVE, JELLO and how to make a good grilled cheese SANDWICH.
1. ~((M&P)→(A&L&J&S))
2. ~(M&P)→(A&L&J&S)
3. (M&P)→~(A&L&J&S))
4. (~M&~P)→(A&L&J&S))
Being SQUARE is a sufficient condition for being unCOOL, but being PENTAGONAL is not a sufficient condition for being EVIL.
1. (S→~C)&~(P→E)
2. ~(C→S)&~(E→P)
3. (S→~C)&(P→~E)
4. (~C→S)&~(E→P)
If there are no RAINBOWS, there will be no UNICORNS, unless the LEPRECHAUNS put horns on the ponies.
1. (~R→~L)→~U
2. (~L→~R)→~U
3. (~R→~U)→~L
4. ~R→(~L→~U)
Supposing the creature is inVISIBLE, it cannot be SEEN unless it wears a HAT.
1. ~V→(~H→~S)
2. (~V→~H)→~S
3. (~H→~V)→~S
4. ~V→(~S→~H)
It's false that disBELIEF is unnecessary for disTRUST, nevertheless, JELLO makes me happy.
1. ~~(~T→~B)&J
2. ~(~T→~~B)&J
3. ~(~(~T→~B)&J)
4. ~~(~B→~T)&J