И как это ложится на эту задачу? Это правильно, но чёт не в тему, по-моему
м... не понял вопрос вначале вычисляется то что в скобках там ор если первый операнд тру, он сразу возвращает тру на каукю задачу что должно ложиться или забиваться - я не понЕл
(uniq1 or uniq2) принимает значение "Истина" если хотя бы одно из условий истинно. И "ложь" если оба ложны. NOT - инвертирует результат. not(u1 or u2) будет "Ложь" если хотя бы одно из условий истинно, и "Истина" если оба условия ложны