pub fn t_norm_lukasiewicz(a: f32, b: f32) -> f32
Łukasiewicz t-norm (fuzzy AND) — max(0, a + b - 1).
max(0, a + b - 1)