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

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. Теорема о разложении по переменным