Дискретная математика. ДНФ

YOUTUBE · 18.11.2025 17:01

Ключевые темы и таймкоды

Введение

0:00
  • В видео обсуждается тема дискретной математики, которая включает в себя булевы функции и операции над ними.
  • Рассматриваются примеры функций и их таблицы истинности.

Эффективные переменные

8:21
  • Эффективные переменные - это переменные, которые не влияют на значение функции.
  • В примере с выключателем света, левый переключатель не влияет на состояние лампочки.

Примеры эффективных переменных

13:20
  • В примере с таблицей истинности, функция эф от икс - это просто не игрек.
  • Функция аш - это функция от игрек, аш- это константа.

Заключение

14:33
  • Эффективные переменные могут быть найдены в реальных задачах и системах, и их следует избегать.
  • В примере с выключателем света, можно заменить сдвоенный выключатель на одинарный, чтобы упростить схему.

Построение таблицы истинности

32:09
  • В видео обсуждается построение таблицы истинности для сложной функции, состоящей из трех операций: икс, игрек, и игрек или зет.
  • Для упрощения задачи, автор предлагает разбить функцию на простые операции и построить таблицу истинности для каждой из них.

Построение таблицы истинности для импликации

36:11
  • В этой части видео автор строит таблицу истинности для импликации, используя шпаргалку.
  • В результате получается, что функция принимает значение единицы, если импликация происходит из единицы.

Построение таблицы истинности для функции

42:09
  • Автор предлагает задачу: найти формулу для функции, заданной набором значений.
  • В этой части видео автор пытается найти формулу для этой функции, но не находит ее.

Построение таблицы истинности для формулы сокращенного умножения

44:32
  • В этой части видео автор обсуждает формулу сокращенного умножения и ее эквиваленты.
  • В итоге, автор приходит к выводу, что формула не икс-игрек-зет не является правильной.

Решение задач по дискретной математике

47:49
  • В видео автор решает задачи по дискретной математике, используя формулы и функции.
  • Он объясняет, что функция может быть задана различными формулами, и что формула не всегда является функцией.

Обсуждение равносильности формул и функций

58:04
  • Автор объясняет, что равносильность формул и функций означает, что они задают одну и ту же функцию.
  • Он приводит примеры равносильных формул и функций и объясняет, как их можно использовать для решения задач.

Заключение

1:01:56
  • Автор призывает зрителей к пониманию основ дискретной математики, таких как определение формул, функций и равносильности.
  • Он подчеркивает важность понимания этих понятий для успешного изучения дискретной математики и других дисциплин.

Задание на равносильность

1:02:58
  • Преподаватель объясняет, что для выполнения задания нужно использовать равносильности, такие как закон де Моргана и другие известные равносильности.
  • Он приводит пример, как можно преобразовать формулу, используя закон де Моргана.

Определение конъюнкции и полной конъюнкции

1:13:12
  • Преподаватель объясняет определения конъюнкции и полной конъюнкции, а также приводит примеры.
  • Он подчеркивает, что полная конъюнкция - это элементарная конъюнкция, в которую входят все переменные икс.

Задание на определение конъюнкции

1:16:14
  • Преподаватель задает вопрос о том, является ли формула икс- не икс- игрек конъюнкцией, элементарной конъюнкцией или полной конъюнкцией.
  • Он просит студентов ответить на вопрос и объясняет, что эта формула не является конъюнкцией или полной конъюнкцией.

Конъюнкция и дизъюнкция

1:17:12
  • Обсуждается определение конъюнкции и дизъюнкции, а также их свойства.
  • Рассматривается пример функции, которая принимает значение единицы только на одном наборе значений.

Построение формул

1:24:05
  • Обсуждается возможность представления любой функции в виде набора формул.
  • Приводится пример построения формулы для функции, используя алгоритм построения дизъюнктивно-нормальной формы.

Домашнее задание

1:29:23
  • Задание: составить формулы для функций из домашней работы.
  • Задание: удалить фиктивные переменные из таблицы истинности.
  • Задание: построить днф для двух любых функций из формул.