Cтраница 2
Однако существуют и иные системы вещей ( не логические системы), также образующие алгебру Буля. [16]
С другой стороны, параллельно теории алгебр логик возникла и стала весьма разветвленной дисциплиной теория алгебр Буля. [17]
Проектирование логических устройств и выбор наиболее оптимальных вариантов их построения производится с использованием алгебры логики, или алгебры Буля, разработанной в середине XIX в. [18]
Итак, можно сказать, что высказывания и основные логические операции &, V, - представляют собой алгебру Буля. [19]
Рациональная эквивалентность означает, что в кольце Буля можно определить производные операции, относительно которых кольцо Буля становится алгеброй Буля и через которые первоначальные кольцевые операции могут быть снова выражены в качестве производных с аналогичными свойствами. [20]
В большинстве случаев необходимые логические преобразования двоичных сигналов выполняются на базе следующих трех элементарных операций, лежащих в основе так называемой алгебры Буля, - математического аппарата теории логических схем, рассматриваемой в гл. [21]
В связи с широким применением в определяющих устройствах логических элементов для установления положения детали более удобно пользоваться логической интерпретацией с применением алгебры Буля. [22]
Оператор И известен как оператор Буля, названный в честь Джорджа Буля ( английского математика), который разработал систему алгебраической логики в ИХ веке, известную как алгебра Буля. Другими широко используемыми операторами Буля являются операторы ИЛИ и НЕТ. [23]
Так как функция является двоичной переменной, она может входить в качестве аргумента в другую функцию. Справедливость теорем алгебры Буля не нарушается, если в них в качестве переменных фигурируют любые функции. [24]
Применяя аппарат алгебры логики ( алгебры Буля) и представляя суждение о годности изделия в форме логи ческих высказываний, можно осуществить синтез цепи, решаю-щей эту задачу. Путем применения ряда приемов можно в полу ченной цепи исключить избыточные элементы, упростив тем са мым и контроль параметров изделия. Возможно, что эти методы могут оказаться полезными и при решении задачи выбора минимального числа контролируемых параметров. [25]
Логические переменные объявляются ключевым словом BOOL. Это означает их принадлежность к алгебре Буля. [26]
Для нахождения энумератора и соответствующего денумератора достаточно рассматривать ограничения, относящиеся к подмножествам, на элементы которых накладываются условия. Для этого используется изоморфизм между алгеброй Буля и формальной логикой. [27]
Символ обозначает выполнение операции ИЛИ. Такое использование этого символа, заимствованное из алгебры Буля, имеет совершенно иной смысл, чем в обычной алгебре. [28]
В данной главе рассмотрена работа перечисленных схем и описана методика расчета схем НЕ - ИЛИ и НЕ - И. Дано также краткое описание двоичной системы исчисления, алгебры Буля и метода ее использования для анализа и синтеза систем управления и вычислительных устройств. [29]
Указанное свойство таблиц сохраняется при любом числе переменных, над которыми выполняются операции. В этом состоит так называемый принцип двойственности в алгебре Буля. [30]