Cтраница 1
Более сложные логические выражения строятся из логических термов и обязательно заключаются в скобки. Логический терм - переменная типа В, арифметическое отношение или символьное отношение. Арифметическим ( или соответственно символьным) отношением называются два арифметических ( соответственно символьных) выражения, соединенные операцией отношения. [1]
Правила выполнения логических операций. [2] |
Более сложные логические выражения состоят из нескольких простейших логических выражений, соединенных знаками двуместных логических операций. [3]
Мы не вводим для описания понятий более сложные логические выражения, а ограничиваемся лишь такими, которые могут быть представлены в виде хорновских дизъюнктов. Как показал Ковальски [74], применение хорновских дизъюнктов по своим изобразительным возможностям эквивалентно логике предикатов первого порядка, но позволяет реализовать эффективные алгоритмы обработки. [4]
Из отношений с помощью знаков логических связей могут быть образованы более сложные логические выражения. [5]
Карта Карно может и не привести к лучшему решению. Иногда более сложное логическое выражение имеет более простую схемную реализацию, например в случае, когда некоторые члены выражения уже сформированы схемой в виде логических сигналов, которые можно использовать в качестве входных. Кроме того, реализации Исключающего ИЛИ не очевидны из карты Карно. Когда используются такие программируемые логические устройства как ПМЛ для конструирования логических функций, внутренняя структура ( программируемые вентили И и фиксированные вентили ИЛИ) сдерживает реализацию, которая могла бы быть применена. [6]
Карта Карно может и не привести к наилучшему решению. Иногда более сложное логическое выражение имеет более простую схемную реализацию, например в случае, когда некоторые члены выражения уже сформированы схемой в виде логических сигналов, которые могут быть использованы в качестве входных. Кроме того, реализации Исключающего ИЛИ из карт Карно не очевидны. [7]
Каждый из перечисленных элементов или более сложное логическое выражение, заключенное в круглые скобки, называется первичным логическим выражением. [8]
Первичные логические выражения с помощью логических операций образуют более сложные логические выражения. [9]