Тема 3. Булеві функції Flashcards

(36 cards)

1
Q

Що таке булева функція?

A

Булева функція — функція, область значень
якої 0 та 1, і яка залежить від змінних, що
набувають лише цих значень.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Який результат булевих функцій?

A

Булеві (або логічні) функції оперують з
булевими змінними, їх результат - 0 або 1.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Що таке булеві змінні?

A

Булевими змінними називаються змінні,
що приймають значення 0 або 1.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Три основні способи задання
булевих функцій:

A
  1. Таблиця істинності
  2. У вигляді формул
  3. Логічна схема
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Номери наборів значень змінних n-місної булевої функції змінюються від…

A

0 до 2^n - 1.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Область визначення булевої функції - це…

A

Це набір всіх можливих комбінацій значень змінних, для яких ця функція визначена. Простіше кажучи, це всі можливі способи, як можна підставити значення в змінні булевої функції.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Нульярні булеві функції - це…

A

Це сталі 0 і 1

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Що таке суперпозиція?

A

Суперпозиція - це спосіб отримання нових функцій шляхом підстановки значень одних функцій замість значень аргументів інших функцій.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Що таке формула?

A

Формула - це вираз, що задає деяку функцію у вигляді суперпозиції інших функцій.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Еквівалентні формули - це…

A

Формули, що представляють одну і ту ж функцію – називаються еквівалентними або рівносильними

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Закон Блейка-Порецького

A

Див. зошит

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Закон склеювання

A

Див. зошит

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Закон контрапозиції

A

Див. зошит

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Закон комплементності

A

Див. зошит

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Вміти знайти порядковий номер функції 1101

A

Так

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Вміти побудувати таблицю істинності для функції f198

17
Q

Поняття сусідні та протилежні набори

A

Сусідні набори різняться точно однією компонентою, а протилежні — усіма n компонентами. Наприклад, набори:
(0100) і (1100) — сусідні,
(0100) і (1011) — протилежні.

18
Q

В чому полягає особливість двоїстої функції?

A

Ми заперечуємо усе в цій функції

19
Q

Що таке самосуперечна функція?

A

Функція, що рівна своїй суперечній - називається самосуперечною.

20
Q

Правило отримання суперечних формул:

A

Для того, щоб отримати суперечну формулу булевої алгебри, необхідно замінити в ній всі кон’юнкції на диз’юнкції, диз’юнкції на кон’юнкції, 0 на 1, 1 на 0, і використовувати дужки, де необхідно, щоб порядок виконання операцій залишився колишнім

21
Q

Що таке ранг елементарної кон’юнкції?

A

Кількість змінних, що входять в елементарну кон’юнкцію,
називається рангом елементарної кон’юнкції.

22
Q

Диз’юнктивний одночлен:

A

Диз’юнктивний одночлен (макстерм, конституента 0) від змінних X1,X2,…,Xn {0,1} — диз’юнкція цих змінних або їх заперечень.
– Макстерм дорівнює 0 тільки при єдиному наборі аргументів.
– Якщо макстерм містить одночасно змінну і її заперечення, то він
завжди дорівнює 1.

23
Q

Кон’юнктивний одночлен:

A

Кон’юктивний одночлен (мінтерм, конституента 1) - від змінних X1,X2,…,Xn {0,1} — кон’юнкція цих змінних або їх заперечень.
– елементарна кон’юнкція, набуває значення одиниці лише на одному з кортежів своїх змінних
– Якщо мінтерм містить одночасно змінну і її заперечення, то він завжди дорівнює 0.

24
Q

Що таке ДДНФ?

A

Досконалою диз’юнктивною нормальною формою (ДДНФ)
булевої функції називається формула, подана у вигляді
диз’юнкції конституент одиниці даної функції

25
Умови ДДНФ:
- в ній немає однакових доданків; * жоден із доданків не містить двох однакових співмножників; * жоден із доданків не містить змінну разом із її запереченням; * в кожному окремому доданку є як співмножник або змінна xi , або її заперечення для будь-якого i = 1, 2, …, n.
26
Що таке ДКНФ?
Досконалою кон'юнктивною нормальною формою (ДКНФ) функції називається формула, подана у вигляді кон'юнкції конституент нуля (макстермів) даної функції.
27
Умови ДКНФ:
в ній немає однакових співмножників; * жоден із співмножників не містить двох однакових доданків; * жоден із співмножників не містить якої-небудь змінної разом з її запереченням; * в кожному окремому співмножнику є як складова або змінна xi, або її заперечення для будь-якого i=1,2,…,n.
28
Що таке поліном Жегалкіна?
Поліномом Жегалкіна називається скінчена сума по модулю 2 попарно різних елементарних кон’юнкцій над множиною змінних (x1, x2, …, xn).
29
Розуміти метод невизначених коефіцієнтів
Так
30
Що таке передповний клас функцій алгебри логіки?
Це клас булевих функцій, що наближається до функціонально повного, але не є таким через відсутність однієї або декількох важливих властивостей.
31
Всього є 5 класів:
1. T0 - Клас функцій, що зберігають константу 0 2. T1 - Клас функцій, що зберігають константу 1 3. S - Клас самодвоїстих функцій 4. M - Клас монотонних функцій 5. L - Клас лінійних функцій
32
В чому полягає теорема Поста?
За теоремою Поста , щоб система булевих функцій була повною, треба, щоб в ній існували: * Хоча б одна функція, що не зберігає 0; * Хоча б одна функція, що не зберігає 1; * Хоча б одна нелінійна функція; * Хоча б одна немонотонна функція; * Хоча б одна несамодвоїста функція.
33
Що таке мінімізація булевих функцій?
Це спрощення булевих виразів.
34
Які є методи мінімізації?
Розрізняють аналітичні і табличні методи мінімізації.
35
Аналітичні методи мінімізації - це...
Це методи перетворень з використанням законів перетворень булевих виразів.
36
Табличні методи мінімізації - це...
Алгоритм карти Карно мінімізації булевої функції