Решение - логическое уравнение
Cтраница 1
Решение логических уравнений отвечает на вопрос: какими должны быть входы логической схемы для того, чтобы она имела определенные выходы. [1]
Решение логических уравнений представляет интерес во многих практических случаях. Такой вопрос встречается при синтезе дискретных систем. Тут он имеет вид: каковы должны быть связи, соединяющие элементы схемы, чтобы она имела требуемый закон движения. [2]
Решение логических уравнений (15.14) для двоичных величин х / сопряжено с затруднениями. Однако при большом числе переменных такай операция становится весьма трудоемкой и длительной. Поэтому была поставлена задача автоматизации процесса решения логических уравнений. В 1У47 г. в Гарвардском университете ( США) была сконструирована логическая машина для 12 переменных, которая автоматически перебирала результаты 2 2 - - 4096 возможных комбинаций. [3]
Так называемые - логические машины, служащие для решения логических уравнений ( см. ниже), представляют собой примеры дискретных самонастраивающихся систем. И этих машинах основной процесс - уго процесс автоматического поиска решении. К тому же классу устройств относятся автоматы для синтеза релейных схем. [4]
Заполнение матриц взаимосвязи осуществляется также в режиме диалога на основе составления и решения логического уравнения специального типа, которое назовем характеристическим. Уравнение составляется следующим образом. Если Мал и Мвв содержат матрицы взаимосвязи, то они заполняются в соответствии с приведенным ниже алгоритмом. [5]
Прежде всего отметим, что в настоящее время не разработаны общне алгоритмы решения логических уравнений такого, например, типа, как для линейных уравнений в обычной алгебре. Поэтому переменные xf приходится находить по методу автоматического поиска, что предопределяет построение системы в виде самонастраивающейся. [6]
 |
Общая блок-диаграмма.| Принципиальная схема циркуляции газа. [7] |
Каждая из этих программ запускается или с помощью внешних выключателей, или в результате решения логических уравнений, связанных с различными программами. [8]
Мы видим, таким образом, что Венн дает диаграммати-ческое истолкование и тому аналитическому способу решения логических уравнений, который изложен у него и Шредера. [9]
Как и Шредер, Венн понимает при этом, что вводимая им операция деления в логике не нужна, так как при решении логических уравнений без нее можно обойтись и никакой логический процесс вообще не подсказывает необходимости в ней. Однако для аналогии с арифметикой Венн, в отличие от Шредера, сохраняет деление как особую операцию в теории классов. [10]
Рассмотрим кратко результат [31], состоящий в развитии разработанных дедуктивных средств ( п.п. 7, 8) в направлении проблематики генерализации ( обобщения) первопорядковых формул, решения логических уравнений, индуктивного логического программирования и т.п., что важно как в задачах с неполной информацией, так и для ускорения дедукции. [11]
Применение этой теоремы существенно упрощает методы элиминации ( исключения несущественных переменных), выведения следствий из данных посылок и подыскания посылок для данных фактов. Теорема Порецкого лежит в основе метода упрощения решения логических уравнений путем сведения их к канонической форме, что используется при синтезе автоматических систем. [12]
Третий вид дискретных автоматов представляет собой дискретный аналог самонастраивающихся систем. В качестве примера таких систем рассмотрим машины для решения логических уравнений, которые иногда называются логическими машинами. [13]
Однако предлагаемый метод решения по своему содержанию и сфере возможных приложений достаточно сильно отличается от указанных работ. По существу метод представляет некоторое сочетание дедукции и решения первопорядковых логических уравнений в no - формализме. [14]
При построении самого алгоритма распознавания не обязательно пользоваться картой Карно, тем более что при большом числе признаков это практически невозможно. Альтернативой является алгебраический подход, сводящий распознавание к решению логических уравнений. [15]
Страницы: 1 2