(fuzzy logic) A binary function from [0,1] × [0,1] to [0,1], which, when given (a,b) as input, returns one minus at-norm of (1 −a, 1 −b).
Thet-conorm is dominated by thet-conorm, which is in turn dominated by thet-conorm.
At-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.