Cтраница 1
Нелогические операторы, вообще говоря, могут изменять значения основных логических переменных, тогда как логические операторы заведомо их не изменяют. [1]
Выписываем отмеченный нелогический оператор. [2]
Каждому нелогическому оператору D; поставим в соответствие совокупность тех из основных логических переменных, которые могут быть изменены в процессе выполнения этого оператора. [3]
Некоторые из нелогических операторов не влияют на значения основных логических переменных. Логическая схема не содержит в себе указаний о том, какие именно нелогические операторы могут изменять значения и каких логических переменных, - эти сведения, если неизвестна программа, должны быть заданы дополнительно. [4]
Последние две равносильности позволяют нелогический оператор расчленить на два или, наоборот ( если в равно-сильностях обменять местами левые и правые части), два последовательных действующих или варьирующих оператора объединить в один. [5]
Последние две равносильности позволяют нелогический оператор расчленить на два или, наоборот ( если в равно-сильностях обменить местами левые и правые части), два последовательных действующих или варьирующих оператора объединить в один. [6]
Последние две формулы позволяют нелогический оператор расчленить на два или, наоборот ( если в формулах обменять местами левые и правые части), два последовательных действующих или варьирующих оператора объединить в один. [7]
Будем предполагать также, что каждый нелогический оператор входит в схему только один раз. Это не значит, что в схеме не может быть одинаковых нелогических операторов. Просто одинаковые нелогические операторы, стоящие в разных местах схемы, должны быть обозначены различными символами. [8]
Равносильные преобразования однородных комплексов по существу являются преобразованиями нелогических операторов и, естественно, используются при равносильных преобразованиях более сложных алгоритмов. В связи с этим необходимо рассмотреть некоторые действия над однородными комплексами, которые потребуются в дальнейшем. [9]
Равносильные преобразования однородных комплексов по существу являются преобразованиями нелогических операторов и, естественно, используются при равносильных преобразованиях более сложных алгоритмов. В связи с этим необходимо рассмотреть некоторые действия над однородными комплексами, которые потребуются в дальнейшем. [10]
При доказательстве полноты системы преобразований предполагалось, что каждый нелогический оператор входит в cxeiViy только один раз. Это не значит, что в схеме не может быть одинаковых операторов. [11]
Операторной формулой сборочной машины можно назвать выражение, составленное из нелогических операторов, расставленных определенным образом, а также знаков непроверяемых логических условий. [12]
Логические формулы, получаемые за счет расширения операторных формул введением нелогических операторов, соответствующих операциям транспортирования и ориентирования присоединяемых деталей ( питание), а также операциям контроля, управления и блокировки логических операторов и соответствующих им стрелок, в отличие от операторных формул отражают не только главные материальные потоки, соответствующие перемещениям базовой детали, но и вспомогательные материальные потоки, соответствующие перемещениям присоединяемых деталей, а также существующие в сборочном оборудовании информационные связи. [13]
Таким образом, логической формулой сборочной машины можно назвать выражение, составленное из нелогических операторов Р, В и У, проверяющих заданные выбирающие, исключающие и включающие логические условия логических операторов п, г, н и м, соответствующих этим последним нумерованных стрелок, расставленных определенным образом, а также знаков непроверяемых логических условий. [14]
Если выписать последовательность наборов значений, принимаемых основными логическими переменными перед выполнением каждого нелогического оператора программы, то с помощью этой последовательности легко воспроизвести отвечающее ей выполнение логической схемы. [15]