НУЖНО

Question 1

Полнота системы булевых функций

Answer 1

Система булевых функций называется полной, если для любой булевой функции можно построить равную ей функцию, представляющую собой результат суперпозиции функций

Question 2

КНФ

Answer 2

Если булева формула записана в виде конъюнкции выражений, каждое из которых представляет собой либо отдельный аргумент (с инверсией или без инверсии), либо дизъюнкцию некоторых аргументов, то эта формула является представленной в конъюнктивной нормальной форме (КНФ).

Question 3

ДНФ

Answer 3

Если булева формула записана в виде дизъюнкции выражений, каждое из которых представляет собой либо отдельный аргумент (с инверсией или без инверсии), либо конъюнкцию некоторых аргументов, то эта формула является представленной в дизъюнктивной нормальной форме (ДНФ).

Question 3

Кванторы

Answer 3

Квантор – это общее название для логических операций, ограничивающих область истинности какого-либо предиката.

Question 3

Связывание квантором всеобщности

Answer 3

Квантор всеобщности связывает переменную, делая утверждение истинным для всех возможных значений переменной.

Question 4

Связывание квантором существования

Answer 4

Квантор существования связывает переменную, делая утверждение истинным для хотя бы одного значения переменной.

Question 5

Кванторы для многоместных предикатов

Answer 5

Кванторы для многоместных предикатов используются для связывания нескольких переменных.

Question 6

Связанные переменные

Answer 6

Связанные переменные переменные, которые находятся под действием квантора.

Question 7

Теорема разложения ДНФ

Answer 7

функцию можно представить в виде дизъюнеции минтермов n аргументов

Question 8

Приоритеты логических операций

Answer 8

1. Сравнения (>, <, >=, <=, ==)
2. Логическое “НЕ” (¬)
3. Эквиваленция (⇔)
4. Импликация (⇒)
5. Логическое “И” (&&) ∧
6. Логическое “ИЛИ” (||) ∨

Question 9

СДНФ

Answer 9

Если функция представлена в виде дизъюнкции минтермов n аргументов, то говорят, что она записана в совершенной дизъюнктивной нормальной форме

Question 10

Метод Квайна

Answer 10

метод минимизации булевых функций, основанный на нахождении простых импликант.

Question 11

Метод Петрика

Answer 11

метод минимизации ДНФ, основанный на покрытии таблицы истинности.