Cтраница 3
Конечно, этот дополнительный источник оптимизации может использоваться и при программировании операторов присваивания, правыми частями которых являются простые логические выражения. [31]
Замечание: в определении логического терма, данном выше, мы на самом деле должны были поместить в круглые скобки логическое выражение, а не простое логическое выражение, являющееся его частным случаем. [32]
Подобно тому как из действительных или целых переменных, чисел, знаков арифметических операций и арифметических выражений, взятых в круглые скобки, строились арифметические выражения, так и из переменных логического типа, логических значений, отношений, знаков логических операций строятся простые логические выражения. [33]
Простым логическим выражением называется как отдельная импликация, так и последовательность, состоящая из простого логического выражения, знака - и импликации. Простое логическое выражение является понятием, объединяющим в себе также понятия первичного логического выражения, логического множителя, логического одночлена, логического многочлена и импликации. [34]
Простым логическим выражением называется как отдельная импликация, так и последовательность, состоящая из простого логического выражения, знака - и импликации. Простое логическое выражение является понятием, объединяющим в себе также понятия первичного логического выражения, логического множителя, логического одночлена, логического многочлена и - импликации. [35]
Простое логическое выражение служит для задания правил вычисления логического значения. Для вычисления простого логического выражения сначала определяются значения всех логических операндов, потом выполняются слева направо все операции 0-го ранга, затем слева направо все операции 1-го ранга и так далее. Получаемое в результате значение называется значением простого логического выражения. Простые логические выражения употребляются в операторах присваивания, в условиях, а также в качестве фактических параметров. [36]
Логическое значение простого логического выражения получается путем выполнения указанных в этом выражении логических операций над фактическими логическими значениями отдельных компонент этого выражения. [37]
Простое именующее выражение - это либо метка оператора, либо указатель переключателя. В этом параграфе рассматриваются простое арифметическое и простое логическое выражения, которые для краткости именуются арифметическим и логическим выражениями соответственно. [38]
Отметим, что каждый символ или комбинацию символов следует укрупнять до тех пор, пока их нельзя будет объединить с другими символами. Так, до того как aVb s ciDd стало возможным использовать в общем анализе в качестве логического терма, необходимо показать, что оно представляет собой простое логическое выражение ( см. упр. [39]
Отметим, что каждая строка, начиная с той, в которой приведено определение понятия терм-отрицание, вводит новую логическую операцию в порядке старшинства, приведенного выше. Правая часть каждой строки состоит из двух частей, первая из которых повторяет определенный перед этим уровень; это делается для того, чтобы учесть те простые логические выражения, которые не включают данную логическую операцию. И наконец, основной логический терм включает в качестве одной из возможностей простое логическое выражение, заключенное в круглые скобки. Это делается для того, чтобы дать возможность указать с помощью скобок термы, вычисляемые не в том порядке, который задается правилами старшинства. [40]
Если какое-либо из выражений В или Е в исходном операторе присваивания также является условным, то вместо соответствующего элемента приведенной выше блок-схемы следует подставить точно такую же блок-схему. Так, если Е - простое, а В - условное выражение вида if Bl then B2 else ВЗ, где Bl, B2 и ВЗ - простые логические выражения, то придем к блок-схеме, изображенной на рис. 5.3. Программная реализация этой блок-схемы очевидна. [41]
Простое логическое выражение служит для задания правил вычисления логического значения. Для вычисления простого логического выражения сначала определяются значения всех логических операндов, потом выполняются слева направо все операции 0-го ранга, затем слева направо все операции 1-го ранга и так далее. Получаемое в результате значение называется значением простого логического выражения. Простые логические выражения употребляются в операторах присваивания, в условиях, а также в качестве фактических параметров. [42]
Отметим, что каждая строка, начиная с той, в которой приведено определение понятия терм-отрицание, вводит новую логическую операцию в порядке старшинства, приведенного выше. Правая часть каждой строки состоит из двух частей, первая из которых повторяет определенный перед этим уровень; это делается для того, чтобы учесть те простые логические выражения, которые не включают данную логическую операцию. И наконец, основной логический терм включает в качестве одной из возможностей простое логическое выражение, заключенное в круглые скобки. Это делается для того, чтобы дать возможность указать с помощью скобок термы, вычисляемые не в том порядке, который задается правилами старшинства. [43]
Простое логическое выражение служит для задания правил вычисления логического значения. Для вычисления простого логического выражения сначала определяются значения всех логических операндов, потом выполняются слева направо все операции 0-го ранга, затем слева направо все операции 1-го ранга и так далее. Получаемое в результате значение называется значением простого логического выражения. Простые логические выражения употребляются в операторах присваивания, в условиях, а также в качестве фактических параметров. [44]
Логические переменные, в нашем примере а, Ь, с и d, могли бы, конечно, представлять собой отношения, значения которых могут быть истинными или ложными. Такие логические выражения, которые могут включать в себя отношения между арифметическими выражениями, а также другие логические выражения, называются простыми логическими выражениями. [45]