0:00
Сложность: НачинающийКатегория: Пропозициональная логикаТип: Ввод Выражения

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

"Если не холодно, то я выйду на улицу"

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

  • C для "холодно"
  • O для "я выйду на улицу"
  • ! для отрицания (not)
  • → для импликации

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