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

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

"Если батарея заряжена, то телефон включается и работает правильно"

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

  • B для "батарея заряжена"
  • O для "телефон включается"
  • W для "телефон работает правильно"
  • → для импликации
  • ∧ для конъюнкции (and)

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