Вопрос, который вызвал трудности

Автопилот может работать, если исправен главный бортовой компьютер или два вспомогательных. Выполните формализацию и запишите логические формулы для высказываний «автопилот работоспособен» и «автопилот неработоспособен»

Ответ экспертов Учись.Ru

Чтобы дать полноценный ответ, был привлечён специалист, который хорошо разбирается в теме.

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

Бр-бортовой компьютер работает
вс1-вспомогательный бр. 1  работает
вс2-вспомогательный бр. 2 работает

лог. формулы 
(бр или (вс1 и вс2)) - автопилот работоспособен  
( (не бр) и ( (не вс1) или (не вс2) ) ) -автопилот не работоспособен