Uttryck följande påstående med logiska symboler:

"Det är inte fallet att om jag är trött, så kommer jag att sova"

Använd:

• R för "jag är trött"
• S för "jag kommer att sova"
• → för implikation
• ¬ för negation (not)

Skriv ditt svar med hjälp av symbolerna som finns tillgängliga i kalkylatorn.