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

"Es ist nicht der Fall, dass wenn ich müde bin, dann werde ich schlafen"

Verwenden Sie:

• R für "Ich bin müde"
• S für "Ich werde schlafen"
• → für Implikation
• ¬ für Negation (nicht)

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