Noun
t-conorm (plural t-conorms)
(fuzzy logic) A binary function from [0,1] × [0,1] to [0,1], which, when given (a,b) as input, returns one minus a t-norm of (1 − a, 1 − b).
The t-conorm
x
2
+
y
2
−
x
2
y
2
{\displaystyle {\sqrt {x^{2}+y^{2}-x^{2}y^{2}}}}
is dominated by the t-conorm
x
+
y
−
x
y
{\displaystyle x+y-xy}
, which is in turn dominated by the t-conorm
x
+
y
1
+
x
y
{\displaystyle {x+y \over 1+xy}}
.
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.