![](/user_photo/2706_HbeT2.jpg)
- •Передмова
- •Розділ I Вступ до алгебри логіки
- •1.1.1. Логічні (булеві) функції
- •1.1.2. Способи подання булевих функцій
- •1.1.3. Булеві функції однієї змінної
- •1.1.4. Область визначення логічної функції
- •1.1.5. Елементарні функції алгебри логіки
- •1.2. Алгебра логіки
- •1.2.1. Поняття формули в алгебрі логіки
- •1.2.2. Еквівалентність формул
- •1.2.3. Елементи загальної алгебри
- •1.2.4. Закони булевої алгебри
- •1.3 Повні набори функцій
- •1.4 Канонічні форми булевих функцій
- •1.4.1 Проблема розв’язуваності
- •1.4.2 Нормальні та досконалі диз’юнктивні нормальні форми логічних функцій
- •1.4.3. Нормальні та досконалі кон’юнктивні нормальні форми логічних функцій
- •1.5. Спрощення формул
- •1.5.1. Утворення скороченої днф методом Квайна
- •1 Етап. Початкове скорочення формули.
- •2 Етап. Розставляння міток.
- •3 Етап. Знаходження суттєвих доданків.
- •4 Етап. Викреслювання зайвих стовпців.
- •1.5.2. Утворення скороченої днф за методом Мак Класкі
1.1.2. Способи подання булевих функцій
Існує декілька способів подання булевих функцій. Перші три способи подання булевої функції: вербальний ( або словесний), аналітичний і табличний.
Вербальний спосіб – це словесний опис значень, яких набуває функція на певному кортежі змінних.
Аналітичне задання функції – опис її аналітичним виразом (формулою). Наприклад,
.
Одним
із поширених способів подання булевої
функції є її подання за допомогою таблиці
відповідності (істинності). Це таблиця,
в лівій частині якої переписані всі
можливі значення її аргументів
,
тобто всі можливі кортежі, а правою
частиною є стовпець значень функції,
який відповідає цим наборам, наприклад
табл.1.1.
Таблиця 1.1 |
||
|
|
|
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
Означення
1.4. Набір
значень змінних (кортеж), на якому функція
набуває значення
,
називається одиничним набором функції
,
множина усіх одиничних наборів,
називається одиничною множиною функції
.
Так саме набір аргументів, на якому
,
називається нульовим набором функції
,
а множина нульових наборів – нульовою
множиною.
1.1.3. Булеві функції однієї змінної
Особливого значення в алгебрі логіки відіграють булеві функції однієї та двох змінних (унарні та бінарні логічні операції), так званні елементарні функції.
Загальна
таблиця істинності (відповідності) для
булевих функцій однієї змінної має
вигляд табл.1.2. Виходячи з того, що на
кожному з двох можливих значень змінної
функція набуває одного з двох можливих
значень, очевидно, що існують
різних булевих функцій від однієї
булевої змінної. Всі вони наведені в
табл.1.2.
Таблиця 1.2 |
||||
|
|
|
|
|
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
Функції
та
є функціями - константами:
– абсолютно істинна (константа одиниці);
– абсолютно хибна (константа нуль),
– логічне заперечення, або НІ, або
інверсія
(читається
як «не
»,
зображається як
або
),
це єдина нетривіальна функція;
– змінна
(повторює
значення змінної
і
тому збігається з нею).
1.1.4. Область визначення логічної функції
Областю
визначення логічної (булевої) функції
аргументів
є сукупність
булевих кортежів. Це положення очевидне
з погляду інтерпретації набору двійковим
поданням
-розрядного
числа (кількість додатних
-розрядних
двійкових чисел дорівнює
).
Булева
функція двох аргументів є повністю
визначеною, якщо задано її значення в
кожному з чотирьох можливих наборів
(),
тобто на наборах 00, 01, 10, 11 або на кортежах
з номерами 0, 1, 2, 3. Булева функція трьох
аргументів (
)
у восьми наборах також буде повністю
визначеною, тобто на кортежах з номерами
0, 1, 2, 3, 4, 5, 6, 7. Булева функція
аргументів
є повністю визначеною, якщо задано всі
її значення в кожному з
наборів.
Можна
довести, що число усіх функцій
,
що залежать від
змінних
дорівнює
.
Всього
булевих функцій від двох аргументів –
16, від трьох – 256, від чотирьох – 65536.
Функції двох змінних відіграють важливу роль, тому що з них може бути побудована будь-яка логічна функція. Функції однієї і двох змінних називаються елементарними.