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