Программирование на МПД машине

В лабораторной одна задача желательно как можно быстрее

Отчет содержит: заголовок отчета; номера задач с условиями; решение задач – текст с идеей алгоритма; рисунок с блок-схемой программы; разработанные файлы программ для эмулятора МПД машины (желательно с комментариями); протокол работы на тестовых данных. Предмет называется математические основы формальных рассуждений в перечне предметов его нету но в целом это программирование на древних языках и алгебра логики.