Алексеев В. Б. - Дискретная математика - Функции алгебры логики

0:00:10 1. Введение 0:01:46 2. Функции алгебры логики (булева функция) 0:06:57 3. Функции от двух переменных 0:18:39 4. Лемма (о числе слов) 0:29:26 5. Существенные и фиктивные переменные 0:33:30 6. Равные функции 0:36:42 7. Определение формулы 0:47:08 8. Эквивалентные формулы 0:48:47 9. Основные эквивалентности 1:02:09 10. Теорема о разложении по переменным