>>  <<  Ркв  Ввд  JfC  LJ  Фрз  Слв  Изм  Рзг  !:  Помощь  Словарь

Удвоить +:  0 0 0 Не-Или

+: y есть дважды y . Например:
   +: 3 0 _2
6 0 _4
  x +: y есть отрицание x или y . Например, 0 +: 0 есть 1 .

Поскольку квадрат суммы двух чисел равен сумме их квадратов и их удвоенного произведения, следующие функции эквивалентны:
   f=: + * +
   g=: *:@[ + +:@* + *:@]
Например:
   x=: 7 6 3 [ y=: 6 5 3
   x (f ; g ; (f=g) ; (f-:g)) y
+----------+----------+-----+-+
|169 121 36|169 121 36|1 1 1|1|
+----------+----------+-----+-+
Поскольку область определения Не-Или ограничена числами ноль и единица, ее поведение можно полностью описать следующими таблицами истинности:
   d=: 0 1                    NB. Область определения Не-Или
   d +:/ d                    NB. Таблица истинности Не-Или
1 0
0 0
                  
   d +./ d                    NB. Таблица Или
0 1
1 1

   -. d +./ d                 NB. Отрицание таблицы Или
1 0
0 0
               
   (+:&.-./~d) ; (*:/~d)      NB. Не-Или и Не-И дуальны относительно Не
+---+---+
|1 1|1 1|
|1 0|1 0|
+---+---+
>>  <<  Ркв  Ввд  JfC  LJ  Фрз  Слв  Изм  Рзг  !:  Помощь  Словарь