Данный проект посвящен разработке эффективных алгоритмов решения классических логических задач, известных как задачи о "Лжецах и Рыцарях". Акцент будет сделан на применении визуальных средств, в частности, блок-схем, для представления и анализа логических структур. Проект предполагает исследование существующих подходов к формализации и решению таких задач, а также разработку новой, основанной на блок-схемах, методики. Будет предложен стандартизированный формат описания условий задач и их решений с помощью блок-схем, что позволит упростить понимание и проверку корректности. Особое внимание уделяется наглядности и декомпозиции сложных логических цепочек, что делает процесс решения более доступным и интуитивно понятным для широкого круга пользователей. Результаты проекта могут быть использованы как в образовательных целях, так и для разработки программных инструментов автоматизации решения данного класса задач.