Какие математические модели можно создать для анализа ситуаций с рыцарями и лжецами?

Возможно, имелись в виду задачи о рыцарях и лжецах — разновидность математических задач, в которых фигурируют персонажи: лжец, всегда говорящий ложь, и рыцарь, всегда говорящий правду. ru.ruwiki.ru ru.wikipedia.org

Решение подобных задач обычно сводится к перебору вариантов с исключением тех, которые приводят к противоречию. ru.ruwiki.ru school-science.ru

Существуют задачи с тремя типами персонажей: рыцари, лжецы и нормальные люди (вариант — шпионы). ru.ruwiki.ru ru.wikipedia.org Последние могут как лгать, так и говорить правду. ru.ruwiki.ru ru.wikipedia.org

Практически всегда в таких задачах рыцари и лжецы могут говорить лишь «да» или «нет» (исключаются варианты типа «невозможно дать ответ» или «не знаю»). ru.ruwiki.ru