Представляется программный модуль, состоящий из трех программ, являющихся частью программно-методического комплекса (ПМК) "Интерактивная логика". Комплекс разработан творческой группой "Школа—ВУЗ" для преподавания раздела "Основы логики. Логические основы компьютера" информатики и ИКТ в 10—11-x классах.