Cтраница 1
Бесповторные функции являются важным классом булевых функции и, помимо теоретического значения, применяются в математическом моделировании дискретных преобразователей информации. Эта глава посвящена характеризации бесповторных булевых функций, нахождению числа бесповторных булевых функций и описанию алгоритма нахождения бесповторного представления функций в бинарных базисных множествах. [1]
Пусть известен вектор-столбец значений бесповторной функции, непомеченное корневое дерево, соответствующее ее неизвестному каноническому дереву, а также литералы, приписанные листьям, линейность пометок всех внутренних вершин и все нелинейные пометки внутренних вершин неизвестного канонического дерева. [2]
Пусть известен вектор-столбец значений бесповторной функции, непомеченное корневое дерево, соответствующее ее неизвестному каноническому дереву, и линейность пометок всех внутренних вершин. Пусть также известно, каким переменным соответствуют литералы, приписанные листьям дерева. [3]
Пусть известен вектор-столбец значений бесповторной функции. [4]
Пусть в произвольном каноническом дереве бесповторной функции f листья иг и va смежны с различными внутренними вершинами. Тогда среди подфункций, получаемых подстановкой констант на место всех остальных переменных функции /, найдутся либо существенно зависящая ровно от одной переменной, либо две различные подфункции, существенно зависящие от обеих переменных и не являющиеся отрицанием друг друга. [5]
При доказательстве будем использовать то, что любые бесповторные функции над BQ и BI почти однозначно ( с точностью до выполнения соотношений FI 0 FI - FI 0 F можно представить упорядоченными термами. [6]
При выполнении вышеизложенных условий получим каноническое представление для бесповторной функции в базисных множествах BQ и BI. [7]
Им же предложены рекуррентные формулы для подсчета числа бесповторных функций в произвольных базисах. [8]
Одной из важнейших характеристик базисного множества является количество бесповторных функций ранга п в этом множестве. [9]
Задача расшифровки ( получения условного диагностического теста) для бесповторной функции в классе всех бесповторных функций является вырожденной: для того, чтобы различить между собой константу 1 и все функции вида х 1 V. [10]
Сначала рассматривается специальный тип деревьев - канонические деревья - и доказывается единственность представления бесповторных функций каноническими деревьями. [11]
Задача расшифровки ( получения условного диагностического теста) для бесповторной функции в классе всех бесповторных функций является вырожденной: для того, чтобы различить между собой константу 1 и все функции вида х 1 V. [12]
Будем считать, что функция / - существенная, иначе из индуктивного предположения сразу следует, что / - бесповторная функция. [13]
Монография является попыткой коллектива авторов, исходя из перечисленных проблем, систематизировать некоторые разделы булевых функций, интенсивно развивающиеся в последнее время: бесповторные функции, полиномиальные представления и методы нахождения представления бинарными термами специальных видов. [14]
Процесс продолжаем, пока не сведем / ( х) к сумме бесповторных функций. [15]