Выразите следующее утверждение с помощью логических символов:

"Неверно, что если я устал, то я буду спать"

Используйте:

• R для "я устал"
• S для "я буду спать"
• → для импликации
• ¬ для отрицания (not)

Введите ваш ответ, используя символы, доступные в калькуляторе.