Разработка ПО для проверки логической формулы

Разрабатывать ПО не требуется (ПО уже разработанно).
Нужно написать текст курсовой работы в соответсвии с МУ и описать уже разработанное ПО на PHP. Описать и обосновать используемые модели и алгоритмы (соответсвенно, требуется иметь знания в программировании и владение языком программирования - PHP).
Требования:
Антиплагиат: не менее 65%.
Искусственное завышение уникальности не допускается.
Полное выполнение всех МУ, особенно третьего раздела в файле "МУ курсовая мат логика.docx" (в приложении).
Не использовать википедию как источник.