Udtryk følgende udsagn ved hjælp af logiske symboler:

"Det er ikke tilfældet, at hvis jeg er træt, så vil jeg sove"

Brug:

• R for "jeg er træt"
• S for "jeg vil sove"
• → for implikation
• ¬ for negation (ikke)

Indtast dit svar ved hjælp af de symboler, der er tilgængelige i lommeregneren.