да, да, да.
Всех обосрать с ног до головы, кто даже мелкое сомнение имеет в "нашей с прохфесуром" (хотя мне сдается, что это один и тот же человек - один с разных эккаунтов и строчит, создавая видимость массовости) правоте. Этот - "дурак", этот "не - понимает". "Одна я умная, в белом пальто стою красивая ". :yes: "Подведём итог...", как говорится ;)

Hogfather, не нравятся русские школьники, читайте внимательнее буржуйских:
A t-norm is a function T: [0, 1] × [0, 1] → [0, 1] which satisfies the following properties:

Commutativity: T(a, b) = T(b, a)
Monotonicity: T(a, b) ≤ T(c, d) if a ≤ c and b ≤ d
Associativity: T(a, T(b, c)) = T(T(a, b), c)
The number 1 acts as identity element: T(a, 1) = a

сами ссылку дали на эту статью, и не прочитали её внимательно. Какая неприятность...

Добавлено через 1 минуту
Team_Leader, обосрать, вас? Я даже не начинал, вы сами прекрасно справились.

(добродушно) Так я её туда и написал. Потому что это S-норма Лукашевича. А до этого я писал T-норму Лукашевича, которую вы почему-то приняли за конорму. Впрочем, живите как знаете. Не буду вам мешать дальше мастурбировать свое ЧСВ. Я сюда, собственно, просто пописать зашел.

Hogfather, я вас неправильно прочитал, и не заметил сразу вашу грубую ошибку:
Здесь, ведь, оба аргумента равны 0. T(a,b) вы представили как T(0,0), что означает a=0,b=0.
Т.е. вы сначала приравниваете все аргументы к 0, а потом говорите, что они не равны 0.
Я хочу сказать что T(a,b)=max(0,a+b-1) действительно T-норма.

Вот мы уже начали наклонять призму наших интересов в одну сторону. Осталось сделать еще маленький шажок вперед и вы даже начнете понимать написанное. Постарайтесь внимательно перечитать сообщение, может тогда и вопрос насчет грубой ошибки отпадет. Удачи!

Hogfather, это вы прочитайте моё сообщение внимательнее, я вам написал где у вас грубая ошибка. Вы присваиваете аргументам 0, но говорите, что им не присвоены 0. Понимаете к чему я клоню?

vasiliypupkino, я сразу понял куда вы клоните. Понимаете, модель Вселенной где вы единственный гений она, конечно, хороша, но обязывает.
Вопрос на засыпку:
1) Что является аргументами функции max(0,-1)?
2) Что написано вот тут: "речь идет о логической функции МАХ. Она равна нулю только тогда, когда все аргументы равны нулю"?
3) Есть ли противоречия?

Бонус пак для наших юных друзей:
T(0.1, 0.2)=max(0,-0.7)=0

Hogfather, вы действительно не видите разницы между
T(a,b)=max(0,a+b-1)
и
max(a,b)?
Понимаете, что это две разные функции? Понимаете, что первая является Т-нормой, а вторая - нет?

Как же вам объяснить. Попробую на языке программирования:

Я просто оставлю это здесь. Для будущих поколений, так сказать.
Спасибо, мне теперь все окончательно понятно. Извините, что зашел в эту тему.

забыли написать типы у аргументов функций. Садитесь, два. Завтра в универ с родителями.