t-conorm: A type of function used in fuzzy logic that generalizes the concept of disjunction (logical OR). Sheffer Stroke: A logical operation that can be used to express all other logical ...