Математическая логика и теория алгоритмов

00:00:00 - Введение 00:00:06 - Булевы функции 00:08:50 - Булевы функции и пропозициональные формулы 00:25:30 - ДНФ и КНФ 00:46:43 - Какие бывают формулы? 00:51:02 - Некоторые тавтологии 01:06:16 - Что будет на следующей лекции? Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Максимов Даниил Монтаж: Зенина Дарья