78
правок
Изменения
Нет описания правки
|-
!<tex>x \wedge y</tex>
|align = center|<tex>x \cdot y,\ xy,\ x \And y,\ x\ AND\ y,\ AND(x, y),\ min(x, y),</tex> ''x И y, И(x, y)''
|2И, конъюнкция
|-
!<tex>x \nrightarrow y</tex>
|align = center|<tex>x > y,\ \neg(x \rightarrow y),\ x\ GT\ y,\ GT(x,\ y)</tex>
|больше, инверсия прямой импликации
|-
!<tex>x</tex>
|align = center|<tex>YES1(x,y),</tex> ''ДА1(x, y)''
|первый операнд
|-
!<tex>x \nleftarrow y</tex>
|align = center|<tex>x < y,\ \neg(x \leftarrow y),\ x\ LT\ y,\ LT(x, y)</tex>
|меньше, инверсия обратной импликации
|-
!<tex>y</tex>
|align = center|<tex>YES2(x, y),</tex> ''ДА2(x, y)''
|второй операнд
|-
!<tex>x \oplus y</tex>
|align = center|<tex>x + _2 y,\ x \not = y,\ x >< y,\ x <> y,\ x\ XOR\ y,\ XOR(x,y)</tex>
|сложение по модулю 2, не равно, ксор, исключающее «или»
|-
!<tex>x \vee y</tex>
|align = center|<tex>x + y,\ x\ OR\ y,\ OR(x,y),\ max(x,y),</tex> ''x ИЛИ y, ИЛИ(x, y)''
|2ИЛИ, дизъюнкция
|-
!<tex>x \downarrow y</tex>
|align = center|<tex>x\ NOR\ y,\ NOR(x,y)</tex> ''x ИЛИ-НЕ y, ИЛИ-НЕ(x, y)''
|НЕ- 2ИЛИ, 2ИЛИ-НЕ, антидизъюнкция, функция Да́ггера, функция Ве́бба, стрелка Пи́рса
|-
!<tex>x = y</tex>
|align = center|<tex>x \equiv y, x EQV y, EQV(x,y), x \sim y, x \leftrightarrow y</tex>
|равенство, эквивалентность
|-
!<tex>\bar{y}</tex>
|align = center|<tex>NOT2(x, y),\ y',\ \neg y,</tex> ''НЕ2(x, y)''
|отрицание (негация, инверсия) второго операнда
|-
!<tex>x \leftarrow y</tex>
|align = center|<tex>x \geq y,\ x \subset y,\ x\ GE\ y,\ GE(x, y)</tex>
|больше или равно, обратная импликация (от второго аргумента к первому)
|-
!<tex>\bar{x}</tex>
|align = center|<tex>NOT1(x,y),\ x',\ \neg x,</tex> ''НЕ1(x, y)''
|отрицание (негация, инверсия) первого операнда
|-
!<tex>x \rightarrow y</tex>
|align = center|<tex>x \leq y,\ x \supset y,\ x\ LE\ y,\ LE(x,y)</tex>
|меньше или равно, прямая (материальная) импликация (от первого аргумента ко второму)
|-
!<tex>x \triangledown y</tex>
|align = center|<tex>x \mid y,\ x\ NAND\ y,\ NAND(x,y),</tex> ''x И-НЕ y, И-НЕ(x, y)''
|НЕ-2И, 2И-НЕ, антиконъюнкция, Штрих Шеффера
|-
{| class="standard" border=1
|-
!class="dark" style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ''x'' !class="dark" style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ''y'' !class="dark" style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ''z'' !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ''x''↓''y''↓''z'' !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| <math>\neg</math>(≥2(x,y,z)) !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| x≠y≠z !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| x<nowiki>|</nowiki>y<nowiki>|</nowiki>z !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| min(x,y,z) !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| x=y=z !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ''x''⊕''y''⊕''z'' !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ≥2(x,y,z) !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ''f<sub>1</sub>'' !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| ''f<sub>2</sub>'' !style="font-weight:normal" bgcolor=#EEEEFFFFF8DC| max(x,y,z)
|- align="center"
!class="shadow" style="font-weight:normal" | 0
|-
!Обозначения
!Другие обозначения
!Названия
|-
!<tex>x \downarrow y \downarrow z </tex> |align =\ center|<tex>\downarrow (x,y,z) = Webb_2 (x,y,z)</tex>
|3-ИЛИ-НЕ, функция Вебба, функция Даггера, стрелка Пирса
|-
!<tex>\neg (\geq 2(x,y,z))</tex>
|
|Переключатель по большинству с инверсией, 3-ППБ-НЕ, мажоритарный клапан с инверсией
|-
!<tex>x \not = y \not = z </tex> |align = center|<tex>[\not =(x,y,z)] = NE(x,y,z,v)</tex>
|Неравенство
|-
!<tex>x \mid y \mid z </tex> |align = center|<tex>\mid(x,y,z)</tex>
|3-И-НЕ, штрих Шеффера
|-
|3-И, минимум
|-
!<tex>(x=y=z) </tex> |align = center|<tex>[=(x,y,z)] = EQV(x,y,z)</tex>
|Равенство
|-
!<tex>x \oplus y \oplus z </tex> |align = center|<tex>x +_2 y +_2 z = \oplus (x,y,z) = +_2 (x,y,z)</tex>
|Тернарное сложение по модулю 2
|-
|переключатель по большинству, 3-ППБ, мажоритарный клапан
|-
!<tex>f_1</tex>
|
|Разряд займа при тернарном вычитании
|-
!<tex>f_2</tex>
|
|Разряд переноса при тернарном сложении
|-
|3-ИЛИ, максимум
|}
