Лекция 2. Дизъюнктивная нормальная форма
Лекция из курса:
Предыдущая лекция
1
Лекция 1. Логика высказываний
01:18:50
Следующая лекция
3
Лекция 3. Генценовское исчисление высказываний
01:11:03