Логическое высказывание

Cтраница 3

Сложные функции алгебры логики могут быть получены из простых путем объединения их между собой определенными логическими связями. Использование их для логических высказываний упрощает реализацию логических преобразований. [31]

Демодулятор для ФИМ с генератором пилообразных колебаний. [32]

Если для схем сигнал имеет значения 1 или 0, то в алгебре логики сигналам 1 и О соответствуют значения истинности ( 1) и ложности ( 0) высказывания. Такая связь между логическими высказываниями в алгебре логики, двоичными цифрами в двоичной системе счисления и работой импульсных схем дает возможность описывать с помощью понятий и символов алгебры логики работу отдельных схем и узлов. [33]

Как уже указывалось, действие системы управления может быть описано логическими высказываниями. В свою очередь каждое логическое высказывание может быть представлено одной или несколькими логическими операциями, которые в алге-браической форме выражаются двоичными функциями. [34]

Формирование причинно-следственной модели в задачах нефтегазового прогноза имеет целью качественное описание условий генерации углеводородов на исследуемой территории, условий их миграции, аккумуляции и консервации. Модель формализуется в виде логических высказываний, устанавливающих связь между наличием месторождения и качеством нефтематеринских толщ, возможными путями миграции, наличием структурных и неструктурных ловушек, емкостными свойствами коллекторов и надежностью покрышек. Модель используется для выбора исходных геолого-геофизических и геохимических данных, для выбора методов преобразования исходных данных в признаки, при нахождении прогнозирующей функции и для объяснения и обоснования результатов прогноза. [35]

Кстати, идея приписывания логическим высказываниям специальных чисел-так называемых геделевых номеров - принадлежит известному логику Курту Ге-делю и известна под названием геделевой нумерации. Она очень важна, как мы увидим в IV части нашей книги. [36]

Если высказывание истинно, то говорят, что его значение равно единице, если высказывание ложно, то его значение равно нулю. Это приводит к полному соответствию между логическими высказываниями в математической логике и двоичными цифрами в двоичной системе счисления, что позволяет описывать работу логических схем и проводить их анализ и синтез с помощью математического аппарата алгебры логики. [37]

Такое условие алгебры логики приводит к соответствию между логическими высказываниями в математической логике и двоичными цифрами в двоичной системе счисления, что позволяет производить описание работы схем и блоков машины и проводить их анализ и синтез с помощью алгебры логики. [38]

Если С О, то высказывание С - ложно. Такое условие алгебры логики приводит к соответствию между логическими высказываниями в математической логике и двоичными цифрами в двоичной системе счисления, что позволяет производить описание работы схем и блоков машины и осуществлять их анализ и синтез с помощью алгебры логики ЦВМ. [39]

Этапы построения информационной модели пространственного прогноза. [40]

Причинно-следственная модель может формализоваться в виде некоторой схемы районирования изучаемой территории и в виде некоторого набора логических правил. Так, например, при прогнозе Мтах могут быть сформулированы логические высказывания, которые связывают условия накопления и разрядки тектонической энергии со свойствами геологической среды. В задачах нефтегазового прогноза логические правила могут описывать связи между степенью уверенности в наличии месторождения и расположением очагов генерации углеводородов, вероятными направлениями миграции флюидов, структурными свойствами среды и свойствами коллекторов и покрышек. [41]

Возможно, простейшая интерпретация булевой алгебры и одно из ближайших приложений к переключательным схемам - это интерпретация в терминах высказываний. Буква X, например, в этой алгебре соответствует некоторому логическому высказыванию. [42]

F ( x) 0, на которой функция принимает положительные значения. Для объяснения решения необходима сейсмо-тектоническая интерпретация этой границы в виде не очень сложного логического высказывания. [43]

В этой главе рассматриваются вопросы синтеза основных узлов процессоров. В качестве примеров приводится синтез основных узлов процессоров на системах элементов, реализующих логические высказывания ( И - НЕ; ИЛИ-НЕ; И-ИЛИ-НЕ; И-ИЛИ; НЕ), которые получили наиболее широкое распространение в ИМС. [44]

Такое соответствие между логическими высказываниями в математической логике, двоичными цифрами в двоичной системе счисления и работой двух позиционных элементов и схем в электронных цифровых машинах позволяет с помощью алгебро-логической символики удобно описывать с функциональной точки зрения работу схем и блоков машин и осуществлять их анализ и синтез. Отдельные элементы и схемы, входящие в состав машины, представляют собой, по существу, устройства, реализующие различные логические высказывания. [45]

Страницы: 1 2 3 4