View source for T-conorm

==English==

===Etymology===
Short for {{m|en|triangular}} {{m|en|conorm}}.

===Noun===
{{en-noun}}

# {{lb|en|fuzzy logic}} A binary function from [0,1] &times; [0,1] to [0,1], which, when given (''a'',''b'') as input, returns one minus a [[t-norm]] of (1 &minus; ''a'', 1 &minus; ''b'').
#: {{ux|en|The '''t-conorm''' <math>\sqrt{x^2 + y^2 - x^2 y^2}</math> is dominated by the '''t-conorm''' <math>x + y - xy</math>, which is in turn dominated by the '''t-conorm''' <math>{x + y \over 1 + x y}</math>.}}
#: {{ux|en|A '''t-conorm''' acts as a disjunction in fuzzy logic or as a union in fuzzy set theory. When one of its arguments is 0, it returns its other argument; when one of its arguments is 1, it returns 1. It is both associative and commutative, and its partial derivatives with respect to its parameters are non-negative.}}

====Synonyms====
* {{l|en|s-norm}}

====Related terms====
* {{l|en|t-norm}}