Маркин В.И. - Алгебра логики - 6. Конъюнктивные нормальные формы

Конъюнктивные нормальные формы Маркин Владимир Ильич 00:16 Дизъюнктивные нормальные формы 02:52 Конъюнктивные нормальные формы: определение 08:11 Алгоритм приведения формулы к конъюнктивной нормальной форме 08:11 Пример приведения к конъюнктивной нормальной форме 19:00 Критерий тождественной истинности формулы через КНФ 28:13 Критерий тождественной ложности формулы через ДНФ 35:31 Пример доказательства тождественной истинности 42:13 Пример доказательства опровержимости 44:06 Пример доказательства выполнимости 47:52 Пример доказательства тождественной ложности 52:22 Домашние задания Ссылка на плейлист Teach-in: https://teach-in.ru/course/Algebra_logiki Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLPqoIJyYW4gw Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_910 Ссылка на плейлист RuTube: https://rutube.ru/plst/1827010