78
правок
Изменения
→Бинарные функции
{| border="1"
|-align="center" bgcolor=#FFF8DC
!<tex>x</tex>||<tex>y</tex>|! width="5%" | <tex>0</tex>|! width="5%" | ∧<tex>\wedge</tex>
|! width="5%" | <tex>\nrightarrow</tex>
|! width="5%" | <tex>x</tex>
|! width="5%" | <tex>\nleftarrow</tex>
|! width="5%" | <tex>y</tex>|! width="5%" | &<tex>\oplus;</tex>|! width="5%" | ∨<tex>\vee</tex>|! width="5%" | ↓<tex>\downarrow</tex>|! width="5%" | ↔<tex>=</tex>|! width="5%" | ¬<tex>\overline{y}</tex>|! width="5%" | ←<tex>\leftarrow</tex>|! width="5%" | ¬<tex>\overline{x}</tex>|! width="5%" | →<tex>\rightarrow</tex>|! width="5%" | &<tex>\nabla;</tex>|! width="5%" | <tex>1</tex>
|-align="center"
!0||0
{| class="standard" border=1
!Обозначение
!Другие обозначения
!Название
|-
!bgcolor=#EEEEFF|<tex>0</tex> |
|тождественный ноль, тождественная ложь, тождественное "НЕТ"
|-
!bgcolor=#EEEEFF|''<tex>x'' & ''\And y'', </tex> |''x'' · ''y'', ''x''<span></span>''y'', ''x'' ∧ ''y'', ''x'' AND ''y'', AND(''x'',''y''), ''x'' И ''y'', И(''x'',''y''), min(''x'',''y'')
|2И, конъюнкция
|-
!bgcolor=#EEEEFF|''x'' <tex>\nrightarrow</tex> ''y'' |''x'' > ''y'', <math>\neg</math>(''x'' → ''y''), ''x'' GT ''y'', GT(''x'',''y'')
|больше, инверсия прямой импликации
|-
!bgcolor=#EEEEFF|''x'', |ДА1(''x'',''y''), YES1(''x'',''y'')
|первый операнд
|-
!bgcolor=#EEEEFF|''x'' <tex>\nleftarrow</tex> ''y'' |''x'' < ''y'', <math>\neg</math>(''x'' ← ''y''), ''x'' LT ''y'', LT(''x'',''y'')
|меньше, инверсия обратной импликации]
|-
!bgcolor=#EEEEFF|''y'', |ДА2(''x'',''y''), YES2(''x'',''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'' ∨ ''y'', |''x'' + ''y'', ''x'' ИЛИ ''y'', ИЛИ(''x'',''y''), ''x'' OR ''y'', OR(''x'',''y''), max(''x'',''y'')
|2ИЛИ, дизъюнкция
|-
!bgcolor=#EEEEFF|''x'' ↓ ''y'', |''x'' ИЛИ-НЕ ''y'', ИЛИ-НЕ(''x'',''y''), ''x'' NOR ''y'', NOR(''x'',''y'')
|НЕ- 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'', GE(''x'',''y'')
|больше или равно, обратная импликация (от второго аргумента к первому)
|-
!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'' ∇ ''y'' |''x'' <nowiki>|</nowiki> ''y'', ''x'' NAND ''y'', NAND(''x'',''y''), ''x'' И-НЕ ''y'', И-НЕ(''x'',''y'')
|НЕ-2И, 2И-НЕ, антиконъюнкция, Штрих Шеффера
|-
!bgcolor=#EEEEFF|1
|
|тождественная единица, тождественная истина, тождественное "ДА", тавтология
|}
