17
правок
Изменения
→Основные сведения
Таблица значений булевых функций от двух переменных:
{| class="standard" width="100%"border=1 !class="dark" style="font-weight:normal" width="1%"bgcolor=#EEEEFF| ''x'' !class="dark" style="font-weight:normal" width="1%"bgcolor=#EEEEFF| ''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| 0 !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x''↓''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| <math>\neg</math>(''x''←''y'') !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x̅'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| <math>\neg</math>(''x''→''y'') !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''y̅'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x''⊕''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x''<nowiki>|</nowiki>''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x'' & ''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x'' ≡ ''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x''→''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x''←''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| ''x'' ∨ ''y'' !style="font-weight:normal" width="4%"bgcolor=#EEEEFF| 1
|- align="center"
!class="shadow" style="font-weight:normal" | 0
Названия булевых функций от двух переменных:
{| class="standard"border=1
!Обозначение
!Название
|-
!bgcolor=#EEEEFF|0
|тождественный ноль, тождественная ложь, тождественное "НЕТ"
|-
!bgcolor=#EEEEFF|''x'' ↓ ''y'', ''x'' ИЛИ-НЕ ''y'', ИЛИ-НЕ(''x'',''y''), ''x'' NOR ''y'', NOR(''x'',''y'')
|НЕ- 2ИЛИ, 2ИЛИ-НЕ, антидизъюнкция, функция Да́ггера, функция Ве́бба, стрелка Пи́рса
|-
!bgcolor=#EEEEFF|''x'' < ''y'', <math>\neg</math>(''x'' ← ''y''), ''x'' LT ''y'', LT(''x'',''y'')
|меньше, инверсия обратной импликации]
|-
!bgcolor=#EEEEFF|''x̅'', НЕ1(''x'',''y''), NOT1(''x'',''y''), ''x''', ¬''x''
|отрицание (негация, инверсия) первого операнда
|-
!bgcolor=#EEEEFF|''x'' > ''y'', <math>\neg</math>(''x'' → ''y''), ''x'' GT ''y'', GT(''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'' NAND ''y'', NAND(''x'',''y''), ''x'' И-НЕ ''y'', И-НЕ(''x'',''y'')
|НЕ-2И, 2И-НЕ, антиконъюнкция, Штрих Шеффера
|-
!bgcolor=#EEEEFF|''x'' & ''y'', ''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'' ≡ ''y'', ''x'' = ''y'', ''x'' EQV ''y'', EQV(''x'',''y''), ''x'' ~ ''y'', ''x'' ↔ ''y''
|равенство, эквивалентность
|-
!bgcolor=#EEEEFF|''y'', ДА2(''x'',''y''), YES2(''x'',''y'')
|второй операнд
|-
!bgcolor=#EEEEFF|''x'' → ''y'', ''x'' ≤ ''y'', ''x'' ⊃ ''y'', ''x'' LE ''y'', LE(''x'',''y'')
|меньше или равно, прямая (материальная) импликация (от первого аргумента ко второму)
|-
!bgcolor=#EEEEFF|''x'', ДА1(''x'',''y''), YES1(''x'',''y'')
|первый операнд
|-
!bgcolor=#EEEEFF|''x'' ← ''y'', ''x'' ≥ ''y'', ''x'' ⊂ ''y'', ''x'' GE ''y'', GE(''x'',''y'')
|больше или равно, обратная импликация (от второго аргумента к первому)
|-
!bgcolor=#EEEEFF|''x'' ∨ ''y'', ''x'' + ''y'', ''x'' ИЛИ ''y'', ИЛИ(''x'',''y''), ''x'' OR ''y'', OR(''x'',''y''), max(''x'',''y'')
|2ИЛИ, дизъюнкция
|-
!bgcolor=#EEEEFF|1
|тождественная единица, тождественная истина, тождественное "ДА", тавтология
|}
