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

Логическое произведение f = *1'*2

3°. Логическое произведение (конъюнкция, двоичное или булево умножение) выражается символом X (или Д, или точкой •, или знак умножения нообще не пишется).

Логическое произведение любого числа переменных равно 1, если все переменные одновременно имеют значение 1 .

Логическое произведение любого числа переменных равно О, если хотя бы одна из переменных имеет значение 0.

На основании закона (5.11) выражения в скобках равны единице, а по формуле (5.7) логическое произведение переменной на 1 даст саму переменную, т. е.

3°. Логическое произведение (конъюнкция, двоичное или булево умножение) выражается символом X (или Д, или точкой •, или знак умножения вообще не пишется).

Логическое произведение f= *1'*2

Логическое произведение любого числа переменных равно 1, если все переменные одновременно имеют значение 1.

Логическое произведение любого числа переменных равно О, если хотя бы одна из переменных имеет значение 0.

Второй этап — составление формул включения. Для нашего примера формулу включения для каждого выходного сигнала можно получить, составляя логическое произведение входных сигналов рабочего состояния. Если какой-либо сигнал имеет значение 0, то в указанное произведение входит инверсное значение соответствующей переменной. Согласно этому правилу имеем

Второй этап — составление формул включения. Для нашего примера формулу включения для каждого выходного Сигнала можно получить, составляя логическое произведение входных сигналов рабочего состояния. Если какой-либо входной сигнал имеет значение 0, то в указанное произведение входит инверсное значение соответствующей переменной. Согласно этому прпчплу !:•••• ч :

Логическое выражение ®р означает следующее:" Если темпоральная формула ®р выполняется в состоянии i, то в следующем за ним состоянии (i+1) этого же процесса должна выполняться формула р". Пусть на некотором этапе изготовления изделия проводится его термообработка, приводящая к повышению твердости поверхностных слоев. Соблюдение на этом этапе требований техпроцесса (температуры термообработки Тто и времени выдержки iB) приводит к проектным показателям твердости НВ. Тогда для состояния "термообработка" справедливо следующее логическое правило:

Знаки логических операций: not - отрицание, and - конъюнкция, or - дизъюнкция, хог - исключающее ИЛИ. В применении к величинам типа logical эти операции выполняются по правилам действий в трехзначном алфавите. Логическое выражение al in а2 принимает значение true, если al содержится в а2. Оператор like используется для посимвольного сравнения строк. Для сравнения экземпляров сущностей используют операции «равно» и «неравно» со знаками «:=:» и «:< >:» соответственно.

when b => с; (* здесь b - логическое выражение, с - обращение

ТО (метка I) ИНАЧЕ (метка 2) = ЕСЛИ (логическое выражение) = ВЫПОЛНИТЬ (метка) ВЫПОЛНИТЬ ((список меток)) = (метка) (список меток) ; (метка) = (оператор управления) (параметр цикла) РАЗ

= (арифметическое выражение) (логическое выражение) (векторное выражение) (геометрическое выражение) (выражение принадлежности) (индексное выражение)

Примеры. XI + 250; У50 — 2865,28; 6 f 2,5; 56,7 : 4; (логическое выражение) : : = (логический многочлен)

Логическое выражение представляет собой некоторую зависимость между названиями параметров, числами, значениями углов и указателями функций, которые могут выполняться или не выполняться при тех конкретных значениях, которые эти названия параметров и указатели функций принимают в ходе выполнения программы. П р и м е р ы. Х2 > Х45; Х5<85 ИЛИ У5 > 20,5 И Х7 > Х37; (векторное выражение) : : = (сложение векторов) (умножение вектора на скаляр) (скалярное умножение векторов) (векторное умножение векторов) (сложение векторов) : : = (первичное векторное выражение) +

называются логическими значениями (в переводе true — истина, false — ложь). Любая логическая переменная или логическое выражение могут принимать одно из этих двух значений.

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

Логическое выражение (у < 3 Д х2 + г2 < 0.25 Дг/ > - 2.5\Jх* + у* + г2 < 4)Д(г/2 +

Если при этом логическое выражение принимает значение true (false), то далее необходимо следовать по дуге, отмеченной символом да (нет).