To convert first-order logic to CNF: Convert to negation normal form.
In the song, the traditional affirmative response "ja" is replaced by its negation "nein".
Antonyms
