Тема 3.2 Представление булевой функции в виде минимальной ДНФ.
Тема 5.2 Машина Тьюринга и вычислимость.