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

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

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