78
правок
Изменения
м
→Бинарные функции: поправил порядок в табличке с названиями
|тождественный ноль, тождественная ложь, тождественное "НЕТ"
|-
!bgcolor=#EEEEFF|''x'' ↓ & ''y'', ''x'' ИЛИ-НЕ · ''y'', ''x''<span></span>''y'', ''x'' ∧ ''y'', ''x'' AND ''y'', ИЛИ-НЕAND(''x'',''y''), ''x'' NOR И ''y'', NORИ(''x'',''y''), min(''x'',''y'') |НЕ2И, конъюнкция |- 2ИЛИ !bgcolor=#EEEEFF|''x'' > ''y'', <math>\neg</math>(''x'' → ''y''), 2ИЛИ''x'' GT ''y'', GT(''x'',''y'') |больше, инверсия прямой импликации |-НЕ !bgcolor=#EEEEFF|''x'', антидизъюнкцияДА1(''x'', функция Да́ггера''y''), функция Ве́ббаYES1(''x'', стрелка Пи́рса''y'') |первый операнд
|-
!bgcolor=#EEEEFF|''x'' < ''y'', <math>\neg</math>(''x'' ← ''y''), ''x'' LT ''y'', LT(''x'',''y'')
|меньше, инверсия обратной импликации]
|-
!bgcolor=#EEEEFF|''x̅'', НЕ1(''x'',''y''), NOT1ДА2(''x'',''y''), ''x''', ¬''x'' |отрицание (негация, инверсия) первого операнда |- !bgcolor=#EEEEFF|''x'' > ''y'', <math>\neg</math>(''x'' → ''y''), ''x'' GT ''y'', GTYES2(''x'',''y'') |больше, инверсия прямой импликации |- !bgcolor=#EEEEFF|''y̅'', НЕ2(''x'',''y''), NOT2(''x'',''y''), ''y''', ¬''y'' |отрицание (негация, инверсия) второго операндавторой операнд
|-
!bgcolor=#EEEEFF|''x'' ⊕ ''y'', ''x'' +<sub>2</sub> ''y'', ''x'' ≠ ''y'', ''x'' >< ''y'', ''x'' <> ''y'', ''x'' XOR ''y'', XOR(''x'',''y'')
|сложение по модулю 2, не равно, , исключающее «или»
|-
!bgcolor=#EEEEFF|''x'' <nowiki>|</nowiki> ∨ ''y'', ''x'' + ''y'', ''x'' NAND ИЛИ ''y'', NANDИЛИ(''x'',''y''), ''x'' И-НЕ OR ''y'', OR(''x'',''y''), И-НЕmax(''x'',''y'') |НЕ-2И, 2И-НЕ, антиконъюнкция2ИЛИ, Штрих Шефферадизъюнкция
|-
!bgcolor=#EEEEFF|''x'' & ↓ ''y'', ''x'' · ИЛИ-НЕ ''y'', ''x''<span></span>''y'', ''x'' ∧ ''y'', ''x'' AND ''y'', ANDИЛИ-НЕ(''x'',''y''), ''x'' И NOR ''y'', И(''x'',''y''), minNOR(''x'',''y'') |2ИНЕ- 2ИЛИ, 2ИЛИ-НЕ, антидизъюнкция, функция Да́ггера, функция Ве́бба, конъюнкциястрелка Пи́рса
|-
!bgcolor=#EEEEFF|''x'' ≡ ''y'', ''x'' = ''y'', ''x'' EQV ''y'', EQV(''x'',''y''), ''x'' ~ ''y'', ''x'' ↔ ''y''
|равенство, эквивалентность
|-
!bgcolor=#EEEEFF|''y̅'', НЕ2(''x'',''y''), NOT2(''x'',''y''), ''y''', ¬''y'' |отрицание (негация, инверсия) второго операнда |- !bgcolor=#EEEEFF|''x'' ← ''y'', ''x'' ≥ ''y'', ''x'' ⊂ ''y'', ''x'' GE ''y'', ДА2GE(''x'',''y'') |больше или равно, YES2 обратная импликация (от второго аргумента к первому) |- !bgcolor=#EEEEFF|''x̅'', НЕ1(''x'',''y''), NOT1(''x'',''y''), ''x''', ¬''x'' |второй операндотрицание (негация, инверсия) первого операнда
|-
!bgcolor=#EEEEFF|''x'' → ''y'', ''x'' ≤ ''y'', ''x'' ⊃ ''y'', ''x'' LE ''y'', LE(''x'',''y'')
|меньше или равно, прямая (материальная) импликация (от первого аргумента ко второму)
|-
!bgcolor=#EEEEFF|''x'', ДА1(''x'',<nowiki>|</nowiki> ''y''), YES1(''x'',''y'') |первый операнд |- !bgcolor=#EEEEFF|''x'' ← NAND ''y'', NAND(''x'' ≥ ''y'', ''x'' ⊂ ''y''), ''x'' GE И-НЕ ''y'', GEИ-НЕ(''x'',''y'') |больше или равноНЕ-2И, обратная импликация (от второго аргумента к первому) |2И- !bgcolor=#EEEEFF|''x'' ∨ ''y'', ''x'' + ''y'', ''x'' ИЛИ ''y'', ИЛИ(''x'',''y''), ''x'' OR ''y'', OR(''x'',''y''), max(''x''НЕ,''y'') |2ИЛИантиконъюнкция, дизъюнкцияШтрих Шеффера
|-
!bgcolor=#EEEEFF|1
