Лекция по дискретной математике №7 Критерий полноты Поста, пять лемм, полная система булевых функций

МИЭТ Таймкоды: 0:00 Начало. 0:48 Полная система булевых функция. 5:55 Теорема о полноте двух систем. 11:18 Критерий полноты Поста. 18:25 Примеры применения критерия поста. 26:25 Базис системы. 38:15 Лемма о функции, не сохраняющей 0. 42:40 Лемма о функции, не сохраняющей 1. 45:40 Лемма о несамодвойственной функции. 55:25 Лемма о немонотонной функции(ржомба). 1:03:00 Лемма о нелинейной функции. 1:15:55 Доказательство критерия полноты.