Математическая логика и теория алгоритмов 2. Пропозициональные формулы и булевы функции 1

Таймкоды: 00:00:00 - Интро 00:00:05 - Правильные алгебраические выражения 00:02:05 - Теорема об однозначности разбора 00:15:55 - Пропозициональные формулы 00:24:45 - Теорема 2 00:32:20 - Булевые функции 00:59:30 - ДНФ и КНФ 01:04:30 - Теорема о ДНФ и КНФ функции Дата лекции: 10.09.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbeQL8k34cCUabVv9Rp_qwU Плейлист