Форми завдання ФАЛ у базисі Буля. Класифікація аналітичних форм завдання ФАЛ у базисі Буля.
Таблиці
Скорочені Квадратні таблиці
2. Аналітичний
EMBED Visio.Drawing.11
Досконала – будь-які нормальні форми можуть бути дизюктивними та конюктивними, кожний терм має усі змінні.
Мінімальна – яка має мінімальну к-ть букв.
Скорочена – коли хоча б 1 терм не має всіх змінних.
Найкоротша – має мінімальну к-ть термів, змінних, букв.
Наприклад, якщо деяка, задана табличний, функція f(x1, x2, x3) приймає значення одиниці на наборах з номерами 0, 3, 4 і 6, то її можна представити таким чином: f(x1, x2, x3)= VF(0, 3, 4, 6)
1
або f(x1, x2, x3)= VF(0, 3, 4, 6)
Якщо ця ж функція на наборах 1, 2, 5, 7 - приймає значення 0, то її можна представити так:
f(x1, x2, x3)= F(1, 2, 5, 7)
0
або f(x1, x2, x3)= П F(1, 2, 5, 7)
Таку форму запису називають числовою. Перший вид такої форми використовують коли функція представляється в СНДФ, а другий - коли в СНКФ. Багато перетворень, що виконуються над логічними функціями, іноді зручно інтерпретуються з використанням їх геометричних уявлень. Наприклад, функцію двох змінних можна інтерпретувати як деяку площину, задану в системі координат х1, х2. Якщо відкласти по кожній осі одиничні відрізки х1 і х2, то вийде квадрат, вершини якого відповідають комбінаціям змінних.
x1x2 x1 x1x2
x2 x2
x1x2 x1 x1x2
Звідси витікає, що дві вершини, що належать одному і тому ж ребру і звані сусідніми, "склеюються" по змінній, змінній уздовж цього ребра. Наприклад
x1x2 + x1x2 = x2,
т.к, як нам вже відомо, з властивостей логічних функцій, що
x1x2 + x1x2 = (x1 + x1)x2 = 1x2 = x2
Для функцій трьох змінних геометричне уявлення виконують у вигляді тривимірного куба. Ребра куба поглинають вершини. Грані куба поглинають свої ребра і, отже, вершини.
У разі ж чотирьох змінних - "чотиривимірного" куба. У геометричному сенсі кожен набір змінних x1, x2, x3,...., xn можна рассмарівать як n-мірний вектор, що визначає точку n-мірного простанства. Тому вся безліч наборів, на яких визначена функия n змінних, представляється у вигляді вершин n-мірного куба. Координати вершин куба указуються в порядку, відповідному порядку переліку змінних в записі функції. Відзначаючи крапками вершини, в яких функція приймає значення, рівне одиниці, одержуємо геометричне уявлення ФАЛ.