уже делали такое
две контрольные работы по Математической логике и теории алгоритмов, вот задания к контрольной работе, 3 вариант — Задача №6565634