На этом шаге мы рассмотрим эту функцию.

Функция, возвращающая логическое отрицание от булева аргумента:

   not:: Bool -> Bool
   not n

Например:

   > not True  > not False  > not (5>4)&&(3<2)  > not True||False
   False       True         True                False

На следующем шаге мы рассмотрим функции-компараторы.