Набор - значение - аргумент - Голямата енциклопедия на нефта и газа, статия, страница 1
набор - стойност - аргумент
Наборите от стойности на аргументите, на които функцията приема стойност 1, ще се наричат единични набори на тази функция. [1]
Ако наборите от стойности на BF аргументите y са свързани с точки от едномерното пространство, тогава наборът от 2L набори определя набора от върхове на L-мерния единичен куб, който формира областта на дефиниране на BF в зависимост от L аргументи. В резултат на това получаваме геометричната задача на BF. [2]
И така, за i 2, броят на наборите от стойности на аргументи е 224, броят на функциите е 2416. [3]
Ако функцията, която трябва да се оцени, е дефинирана за набор от стойности на аргументи, представени в началния момент на лентата, тогава машината спира след известно време в стандартната крайна конфигурация, т.е. четене на най-лявото 1 в техния блок, записано на лента с празни знаци във всички останали клетки. Броят на единиците в този блок е стойността на функцията за даден набор от стойности на аргументи. [4]
По този начин ние дадохме възможните характеристики на набори от стойности на аргументи по отношение на предиката. [5]
Необходимо и достатъчно условие за представителност: наборът от истини (набори от стойности на аргументи, за които предикатът е 1) е обединението на краен брой преки продукти на поддомейни (подмножества) на оригиналния домейн. По-специално, двуместният предикат на идентично равенство (съвпадение) x-y върху всяка безкрайна област не може да бъде представен в посочената форма. [6]
Всеки ред от оператора на таблицата, с изключение на първия, картографира набор от резултати към набор от стойности на аргументи. Стойностите в списъците със стойности се записват в същия ред като имената на данните в списъците с аргументи и изход в първия ред на таблицата, със стойноститеса записани във формати, съответстващи на типовете променливи в списъците. Въпросите за включване в таблиците на състоянието на автомати и портове на вградени модули са разгледани по-долу. Логическата нула и логическата единица в таблиците се записват в съкратен вид - съответно като числото 0 и 1. Броят на низовете не е ограничен, въпреки че очевидно не надвишава общия брой комбинации от аргументи. Намаляването на дължината на таблицата се осигурява чрез използването на базови стойности, както и логически покрития на комбинации от аргументи. Използването на символи x1 в резултантната секция на стойността позволява на компилатора да използва всяка стойност с цел минимизиране, за да приложи съответното условие. [7]
Таблицата показва какви стойности приема BF за наборите от стойности на аргументите. Броят на единиците в набор се нарича негова норма. [8]
Според условията на работа на логическо устройство може да се окаже, че някои набори от стойности на аргументи са забранени за това устройство и никога не могат да се появят на неговите входове. В този случай функцията не е посочена за всички набори от аргументи. [9]
C(X), равно на едно само на един набор от стойности на аргументи. От това определение следва, че броят на отделните съставни части на единица е равен на броя на комплектите. Удобно е да номерирате всяка съставна част, като й присвоите номера на набора, на който тази съставна част е равна на единица. Множеството Xa и съставната Ki за a / се наричат съответни една на друга. [10]
Във всяка от клетките на картата стойността на функцията е записана върху набора от стойности на аргументите, съответстващи на тази клетка. Нека функцията е дадена от таблицата на истинност 2.12 във формата, която беше използвана по-рано. [единадесет]
Карно - с помощта на два записа в таблицата, където са посочени две части от набора от стойности на аргументи, при които съответната съставна частединици приемат една единствена стойност. [12]
За да се образува съставната част на единицата C, която приема единична стойност за i-тото множество от стойности на аргументите, е необходимо да се състави логически продукт от аргументи, в който аргументите, които приемат една стойност в i-тото множество, влизат без знак за отрицание, а аргументите, които приемат нулева стойност в i-тото множество, влизат със знак за отрицание. [13]
Системата, както може да се види от таблицата, не е последователна: нито един набор от стойности на аргументи не удовлетворява и двете уравнения. [14]
Трябва да запишете толкова конюнктивни термини, които са дизюнкции на всички аргументи, за колко набора от стойности на аргументи функцията е равна на нула и ако стойността на аргумента в набора е равна на единица, тогава дизюнкцията включва инверсията на този аргумент. Всяка функция има един SKNF. [15]