Вот, подробно заморочился
Вложение 72092
Вложение 72091
Нюанс: программа сделана именно по таблице истинности. Т.е., переменная равна нулю тогда, когда соответствующая кнопка или концевик разомкнут (а то там в схеме есть нормально замкнутые контакты)
А по вашей программе, вот, так правильно
Вложение 72093

