Drücken Sie die folgende Aussage mit logischen Symbolen aus:

"Es ist nicht wahr, dass das Geschäft nicht geöffnet ist"

Verwenden Sie:

• S für "das Geschäft ist geöffnet"
• ¬ für Negation (nicht)

Geben Sie Ihre Antwort mit den im Rechner verfügbaren Symbolen ein.