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

Таймкоды: 00:00:00 - Разбор вопросов 00:09:05 - Перевод из функции в формулу 00:26:25 - Как составлять формулы из XOR и AND 00:32:07 - Одночлен Жегалкина 00:33:35 - Многочлен Жегалкина 00:35:20 - Теорема об однозначности выражения функции формулой 00:38:40 - Доказательство теоремы 00:57:10 - Выражение функций через конкретные операции 01:06:15 - Замкнутые классы Дата лекции: 09.09.26 Лектор: Мусатов Даниил Владимирович Оператор: Корнеева Мария Монтажёр: Тютрин Данила Плейлист на YouTube: https://youtube.com/playlist?list=PLWP-fU2739ac&si=2M3Kw20BD5ZWISSz Плейлист