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