Uttrykk følgende utsagn ved hjelp av logiske symboler:

"Det er ikke tilfellet at hvis jeg er trøtt, så vil jeg sove"

Bruk:

• R for "jeg er trøtt"
• S for "jeg vil sove"
• → for implikasjon
• ¬ for negasjon (ikke)

Skriv inn svaret ditt ved å bruke symbolene som er tilgjengelige i kalkulatoren.