Cтраница 4
В разделе 3 методы работы [13] применяются для получения нашей новой нижней оценки. Определяется мера сложности, которая учитывает только элементы Л, причем в схемах допускается свободное вхождение некоторых функций. Для получения нижних оценок для монотонной сложности достаточно нахождения нижних оценок для указанной новой меры сложности. Поскольку допускается свободное вхождение некоторых функций и элементов V, становится возможным преобразовывать минимальную монотонную схему, реализующую систему млм ез увеличения ее сложности в смысле рассматриваемой новой меры. В результате этих преобразований получается схема, реализующая / лш о строении которой многое известно. [46]
Далее проверяют состояние подвижных и неподвижных, основных и дугогасительных контактов: устраняют погнутость подвижных дугогасительных контактов, опиливают напильником незначительное подгорание, а при сильном обгорании контакты заменяют. Медленным включением выключателя убеждаются в совпадении осей подвижных и неподвижных основных контактов и в свободном вхождении подвижных дугогасительных контактов в горловину дугогасительных камер. При повороте вала выключателя на 70 ножи должны перемещаться на 50, а дугогасительные подвижные контакты - входить в камеру на 160 мм. [47]
Свободное вхождение переменной - это такое вхождение, которое не входит в область действия одноименного квантора. Если аккуратно определить эту область действия, несложно проверить, что параметры формулы - это как раз переменные, имеющие свободные вхождения. [48]
Здесь и ( опущенный) знак умножения являются функциональными символами, а переменные х, у выражают неонредел. Если при подстановке t вместо всех свободных вхождений х в А ( х) все вхождения переменных в t порождают свободные вхождения этих неременных в A ( t), то эта подстановка t вместо х называется свободной. [49]
Формула ( Vs) ( Ф) утверждает, что, какое бы значение подходящей арности мы не подставили вместо свободных вхождений s в г э, формула т э станет истинной. [50]