Алгебра - логика
Cтраница 3
Алгебра логики - особая алгебра, и ее правила и аксиомы отличаются от правил и аксиом обычной алгебры. [31]
Алгебра логики является аналогом обычной алгебры. [32]
Алгебра логики представляет собой один из разделов математической логики. [33]
Алгебра логики является математическим аппаратом, который позволяет оперировать с логическими суждениями подобно операциям с алгебраическими символами в элементарной математике. [34]
Алгебра логики, как аппарат формальной логики, была разработана в середине XIX в. Булем и поэтому часто называется булевой алгеброй. Поэтому основные положения алгебры логики хорошо отображают соотношения, возникающие в функциональных узлах устройств релейного действия, так как принципиальная основа их работы выражается в приеме и выдаче двоичной информации. [35]
Алгебра логики и соответственно базирующаяся на ней алгебра релейных схем имеют свои законы во многом напоминающие законы обычной алгебры. [36]
 |
Условное обозначение логического элемента И ( схема совпадения.| Условное обозначение логического элемента ИЛИ ( собирательная схема. [37] |
Алгебра логики широко применяется при проектировании и анализе электронных схем, а также яри описании их работы. Любое логическое выражение может быть изображено в виде схемы, построенной из логических элементов, а преобразование логических выражений отражает преобразование логических схем в другие эквивалентные им схемы. Отсюда я вытекает значение алгебры логики как мате - мэтического аппарата при проектировании логических схем. Сначала на основании анализа функций, которые должна выполнять схема, составляются логические форму-ды, описывающие работу схемы. [38]
Алгебра логики - раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов - классов и высказываний. Помимо символов, обозначающих сами высказывания, вводятся символы для операций: конъюнкции, дизъюнкции, импликации, отрицания, с помощью к-рых из одних выражений А. Выражение будет сложным, если оно образовано из др. с помощью операций А. Два выражения называются равносильными, если при каждом возможном наборе значений простых выражений, в них входящих, они принимают одинаковые значения. И и Л для А и В: ИИ, ИЛ, ЛИ, ЛЛ - А - В принимает то н э вначение, что и А У В. [39]
Алгебра логики в качестве аргументов использует логические переменные. [40]
Алгебра логики имеет ряд специфических аксиом и теорем. [41]
 |
Функции основных логических элементов. [42] |
Алгебра логики позволяет составить схему управления машиной, исходя из условий ее работы, выявляя при этом минимальное число элементов, необходимых для ее осуществления. [43]
Алгебра логики, является одним из разделов математики. Она основывается на взаимообусловленности истинных ( достоверных) и ложных суждений или высказываний. Простые суждения представляются элементарными функциями, состоящими из двух аргументов ( переменных): истинно - ложно либо да - нет, которые могут быть обозначены различными условными математическими символами. Общепринятыми знаками считаются 1 - для записи истинного и 0 - для ложного суждений. Из элементарных логических функций могут быть составлены сложные логические функции. [44]
Алгебра логики - раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений ( истинности или ложности) и логических операций над ними. [45]
Страницы: 1 2 3 4