T-conorm definition

(fuzzy logic) A binary function from [0,1] × [0,1] to [0,1], which, when given (a,b) as input, returns one minus the t-norm of (1 − a, 1 − b).