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

Темы задач:

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