| 释义 |
unate, a. Math.|juːˈneɪt|
[f. L. ūn-us one + -ate2.]
Of a logical function: containing no variable in both negated and unnegated forms. Hence uˈnateness.
1960Proc. IRE XLVIII. 1336/1 The first of these, Theorem 1, gives one of the most easily recognized properties of a setting function, unateness... A unate function is defined as one from which one of each pair of complementary literals..can be eliminated. 1978S. C. Lee Mod. Switching Theory iv. 118 Any threshold function is unate. |