Cтраница 3
При решении неравенств необходимо выполнять только равносильные преобразования. [31]
Часто для этого надо проделать дополнительные равносильные преобразования. [32]
Если это требуется, производится равносильное преобразование алгоритма в новый алгоритм на ЯЛС, более удобный для перевода на машинный язык. [33]
Логические схемы алгоритмов можно подвергать равносильным преобразованиям, в результате которых получаются схемы разного вида, описывающие один и тот же процесс. Такие преобразования целесообразны, когда приводят к упрощению логических схем. [34]
При разрешении некоторых практических инженерных вопросов равносильное преобразование схем может являться самостоятельной задачей. [35]
При программировании операторным методом вручную упомянутые выше равносильные преобразования производятся обычно содержательно, хотя в некоторых случаях это приводит к ошибкам. [36]
Как показала практика последних лет, равносильные преобразования программ или других алгорифмов, заданных с помощью того или другого - алгорифмического языка, являются необходимыми частями процесса автоматического программирования. Таким образом, автоматизация программирования является еще одной областью применения равносильных преобразований. [37]
Склеиванием по переменной х в СДНФ называется равносильное преобразование типа: Ах J Л - х & А. Сравнивая все слагаемые СНДФ между собой, находят слагаемые, различающиеся только знаком одного сомножителя, и для них выполняют склеивания. [38]
Рассмотренный выше прием может также использоваться с равносильными преобразованиями. [39]
На этом примере хорошо видно, что отказ от равносильных преобразований можно позволить решить задачу проще и короче. [40]
Решают неравенство на ОДЗ, учитывая, что потенцирование есть равносильное преобразование на этом множестве. [41]
Построенные правила вывода позволяют сблизить аксиоматику исчисления высказываний с правилами равносильных преобразований логических формул. [42]
Эта теорема наводит нас на мысль, что задача нахождения системы равносильных преобразований логических формул является лишь частным случаем более общей задачи построения исчисления, позволяющего выводить из некоторых аксиом с помощью правил вывода все общезначимые формулы, в том числе и те, которые описывают тождественные равносильности. [43]