Cтраница 1
Истинностный оператор вполне определяется заданием ( хотя бы в виде таблицы) функции, сопоставляющей каждой букве входного алфавита А соответствующую букву выходного алфавита. [1]
Истинностный оператор, реализуемый триодом, задается нагруженным деревом, изображенным на рис. 2.6 а. Очевидно, что специфической особенностью любого истинностного оператора является то, что в его дереве все ребра, выходящие из некоторой вершины, нагружены так же, как и ребра, выходящие из любой другой вершины. [2]
Пусть истинностный оператор 0 имеет один алфаз вит А, представляющий собой множество из К букв; пусть этот алфавит является одновременно входным и выходным. [3]
Рассмотрим сначала истинностный оператор, входные и выходные буквы которого представляют собою кодовые группы из нулей и единиц длины т и п соответственно. [4]
В дереве истинностного оператора ( рис. 2.6, а) все ветви попарно неразличимы и каждая из них неразличима от всего исходного дерева. Очевидно, это характерно для дерева любого истинностного оператора. [5]
В таком случае истинностный оператор может быть задан аналитически посредством системы формул исчисления высказываний. [6]
Однако для класса всех истинностных операторов, при весьма общем ограничении, наложенном на рост параметров т, п, оценка (7.25) не может быть улучшена. [7]
Для отдельных подклассов класса всех истинностных операторов дело обстоит именно так. В частности, это относится, например, к подклассу монотонных операторов, который рассматривается в следующем параграфе. [8]
Такая ситуация является особенно типичной для истинностных операторов. Рассмотрим несколько примеров, в которых ( для большей простоты) мы ограничиваемся случаем единственного выходного предиката. [9]
В этом параграфе рассматриваются некоторые специальные классы истинностных операторов, реализуемых с оценкой стоимости существенно ниже той, которая установлена для класса всех истинностных операторов. При этом основная цель, которая здесь преследуется, заключается не в получении точных и окончательных асимптотических оценок, а в обзоре некоторых типичных ситуаций, в которых удается получать простые реализации. [10]
Приведем некоторые общие соображения, связанные с выполнением этих преобразований путем суперпозиции истинностных операторов электронно-ламповых элементов, рассмотренных в главе третьей. [11]
В этом параграфе рассматриваются некоторые специальные классы истинностных операторов, реализуемых с оценкой стоимости существенно ниже той, которая установлена для класса всех истинностных операторов. При этом основная цель, которая здесь преследуется, заключается не в получении точных и окончательных асимптотических оценок, а в обзоре некоторых типичных ситуаций, в которых удается получать простые реализации. [12]
Пусть во множестве As всех наборов длины s из нулей и единиц выделено подмножество As наборов, которые мы будем называть существенными наборами. Пусть, далее, задан истинностный оператор б, для которого входным алфавитом является As, а входной алфавит есть подмножество Ап некоторого Ап. Поскольку поведение б на несущественных наборах этим определением не регламентируется, то желательно осуществить доопределение на несущественных наборах так, чтобы уменьшить, насколько это возможно, стоимость реализации. В связи с этой задачей мы рассмотрим в пунктах 3 и 4 некоторые классы функций алгебры логики и истинностных операторов, допускающих более простую реализацию, чем в общем случае. [13]
Такой подход к делу был впервые развит К. Шенноном) применительно к реализации истинностных операторов в контактных схемах; им же были получены первые существенные результаты в этом направлении. [14]
Истинностный оператор, реализуемый триодом, задается нагруженным деревом, изображенным на рис. 2.6 а. Очевидно, что специфической особенностью любого истинностного оператора является то, что в его дереве все ребра, выходящие из некоторой вершины, нагружены так же, как и ребра, выходящие из любой другой вершины. [15]