Набір – значення – аргумент – Велика Енциклопедія Нафти та Газа, стаття, сторінка 1
Набір – значення – аргумент
Набори значень аргументів , у яких функція приймає значення 1, називатимемо одиничними наборами цієї функції. [1]
Якщо наборам значень аргументів БФ поставити у відповідність точки 1-мірного простору, то безліч 2L наборів визначить безліч вершин L-вимірного одиничного куба, яке утворює область визначення БФ, що залежить від L аргументів. В результаті отримаємо геометричне завдання БФ. [2]
Так, при я 2 число наборів значень аргументів дорівнює 224 число функцій-2416. [3]
Якщо функція, що підлягає обчисленню, визначена для набору значень аргументів , представленого в початковий момент на стрічці, то машина через деякий час зупиняється в стандартній заключній конфігурації, тобто. зчитуючи саму ліву одиницю у тому блоці, записаному на стрічці з порожніми символами переважають у всіх інших клітинах. Кількість одиниць у цьому блоці і є значенням функції для даного набору значень аргументів. [4]
Таким чином ми дали можливі характеристики наборів значень аргументів щодо предикату. [5]
Необхідна і достатня умова уявності: безліч істинності (набори значень аргументів, при яких предикат дорівнює 1) є об'єднанням кінцевого числа прямих творів підобластей (підмножин) вихідної області. Зокрема, двомісний предикат тотожної рівності (збіги) х-у на будь-якій нескінченній області не представимо у зазначеному вигляді. [6]
Кожен рядок оператора таблиці, крім першої, зіставляє набору значень аргументів набір результатів. Значення у списках значень записуються у тому порядку, як і імена даних у списках аргументів і виходів, у першому рядку таблиці, причому значеннязаписуються у форматах, які відповідають типам змінних у списках. Питання включення таблиці станів автоматів і портів вбудованих модулів розглядаються далі. Логічний нуль та логічна одиниця в таблицях записуються в укороченій формі - як цифра 0 та 1, відповідно. Число рядків не обмежене, хоча, очевидно, не перевищує загальної кількості комбінацій аргументів. Скорочення довжини таблиці забезпечується використанням базових значень, і навіть логічних покриттів комбінацій аргументів. Застосування символів х1 розділ результуючих значень дозволяє компілятору для реалізації відповідної умови використовувати будь-яке значення з метою мінімізації. [7]
У таблиці зазначено, які значення набуває БФ на наборах значень аргументів . Число одиниць у наборі називають його нормою. [8]
За умовами роботи логічного пристрою може виявитися, що деякі набори значень аргументів заборонені для даного пристрою і ніколи не можуть з'являтися на його входах. І тут функція виявляється заданої над усіма наборами аргументів. [9]
З (X), рівна одиниці тільки одному наборі значень аргументів . З цього визначення випливає, що кількість різних конституентів одиниці дорівнює числу наборів. Зручно кожну конститу-енту пронумерувати, надавши їй номер набору, у якому ця конституента дорівнює одиниці. Набір Ха та конституенту Ki при а/називаються відповідними один одному. [10]
У кожну з клітин карти записується значення функції на відповідному цій клітині наборі значень аргументів. Нехай функція задана таблицею істинності 2.12 у формі, яка раніше використовувалася. [11]
Карно - за допомогою двох входів до таблиці, де вказано дві частини набору значень аргументів, при якому відповідна конституентаодиниці набуває одиничного значення. [12]
Для утворення конституенти одиниці С, що приймає одиничне значення при i - м наборі значень аргументів, необхідно скласти логічний добуток аргументів, в яке аргументи, що приймають в г-му наборі одиничне значення, входять без знаку заперечення, а аргументи, що приймають в i - м наборі нульове значення, що входять зі знаком заперечення. [13]
Система, як видно з таблиці, не спільна: за жодного набору значень аргументів не задовольняються обидва рівняння. [14]
Слід записати стільки кон'юнктивних членів, що являють собою диз'юнкції всіх аргументів, при кількох наборах значень аргументів функція дорівнює нулю, і якщо в наборі значення аргументу дорівнює одиниці, то в диз'юнкцію входить інверсія цього аргументу. Будь-яка функція має єдину СКНФ. [15]