Программа для реализации алгоритма решения задачи "The Hardest Logic Puzzle Ever"

В программе реализовано алгоритмическое решение задачи "The Hardest Logic Puzzle Ever" (George Boolos. The Hardest Logic Puzzle Ever // Harvard Review of Philosophy. 1996. Vol. 6. P. 62). Вычисление графа последовательностей шагов решения включает логические преобразования, разрешающие неопределенности: а) неизвестность атрибута субъекта, которому задан вопрос, б) неопределенность ответов субъекта «случая» и в) неизвестность кодировки слов ответов «ja» и «da». Назначение программы: компонент решателя сложных логических задач в нечеткой постановке. Область применения: интеллектуальные компьютерные технологии. Функциональные возможности: решение класса задач Р. Смаллиана; применение для решения практических задач; реализация алгоритма в аппаратном исполнении (микросхемном).