Контрольная по дискретной математике

Темы задач: 

1. Таблицы истинности или алгебра булевых функций (доказательство (определение) эквивалентности, логического следования формул, тавтологичности, противоречивости, выполнимости, опровержимости формулы, упрощение формулы); 
2. Двойственность (вычисление двойственной функции, доказательство (определение) двойственности функций, самодвойственности); 
3. Специальные представления булевых функций (приведение к ДНФ, КНФ, СДНФ, СКНФ, полиному Жегалкина по таблице истинности и алгебраически); 
4. Пять важнейших замкнутых классов булевых функций (доказательство (определение) принадлежности функции к классу, вычисление мощности класса, доказательство равенства замыкания множества функций классу); 
5. Теорема Поста или базисы (критериальная таблица, выделение базисов в полной системе).