Cтраница 2
Затем среди всех этих времен берется максимальное. Это и будет значением функции га ( п) - так называемой временной сигнализирующей функции. [16]
Таким образом, функция константа единица является конъюнктивным термом. Из определения (1.77) и рассмотренных частных примеров следует, что все контермы, за исключением KH ( V ] A ( i /), являются вырожденными функциями га переменных. [17]