Автопилот может работать, если исправен главный бортовой компьютер или два вспомогательных. Выполните формализацию и запишите логические формулы для высказываний «автопилот работоспособен» и «автопилот неработоспособен»
Answers & Comments
mixonix
Бр-бортовой компьютер работает вс1-вспомогательный бр. 1 работает вс2-вспомогательный бр. 2 работает
лог. формулы (бр или (вс1 и вс2)) - автопилот работоспособен ( (не бр) и ( (не вс1) или (не вс2) ) ) -автопилот не работоспособен
Answers & Comments
вс1-вспомогательный бр. 1 работает
вс2-вспомогательный бр. 2 работает
лог. формулы
(бр или (вс1 и вс2)) - автопилот работоспособен
( (не бр) и ( (не вс1) или (не вс2) ) ) -автопилот не работоспособен