Cтраница 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]