5 задач по Мат Логике в быстрые сроки

Сегодня будет Контрольная. Нужно решить 5 задач по Мат Логике по темам (Скнф, сднф, полином жегалкина, ркс, машина тьюринга, секвенции). Хотелось бы в течение пары заказать 5 задач по данному предмету. Уложиться нужно где-то за 80 минут.
С уважением, Дмитрий.