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