Функция Unate - Unate function
А функция unate это тип логическая функция который имеет монотонный свойства. Они широко изучены в теория переключения.
Функция как говорят положительный союз в если для всех возможных значений ,
Точно так же это отрицательный союз в если
Если для каждого ж является положительным или отрицательным значением переменной тогда говорят, что это объединить (обратите внимание, что некоторые может быть положительным объединением и некоторым отрицательным объединением, чтобы удовлетворить определению функции объединения). Функция бинат если он не является единым (т.е. не является ни положительным, ни отрицательным объединением по крайней мере в одной из своих переменных).
Например, логическая дизъюнкция функция или с логическими значениями, используемыми для true (1) и false (0), является положительным unate. Наоборот, Эксклюзивный или не является unate, потому что переход от 0 к 1 на входе x0 является как положительным, так и отрицательным unate, в зависимости от входного значения на x1.
NB: положительное единство также может рассматриваться как проходящее по одному и тому же наклону (без изменений во входных данных), а отрицательное унифицированное проходит по противоположному наклону .... non unateness - это зависимость от более чем одного входа (с одинаковыми или разными наклонами)
Эта язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |