Текстовая контрольная работа 18 вариант. Задание на контрольную работу размещено: Мат.логика и теория алгоритмов_УМП (стр. 60).