17
правок
Изменения
→Основные сведения
|НЕ- 2ИЛИ, 2ИЛИ-НЕ, антидизъюнкция, функция Да́ггера, функция Ве́бба, стрелка Пи́рса
|-
|''x'' < ''y'', {{overline|<math>\neg</math>(''x'' ← ''y''}}), ''x'' LT ''y'', LT(''x'',''y'')
|меньше, инверсия обратной импликации]
|-
|отрицание (негация, инверсия) первого операнда
|-
|''x'' > ''y'', {{overline|<math>\neg</math>(''x'' → ''y''}}), ''x'' GT ''y'', GT(''x'',''y'')
|больше, инверсия прямой импликации
|-
!class="dark" style="font-weight:normal" | ''z''
!style="font-weight:normal" | ''x''↓''y''↓''z''
!style="font-weight:normal" | {{overline|<math>\neg</math>(≥2(x,y,z)}})
!style="font-weight:normal" | x≠y≠z
!style="font-weight:normal" | x<nowiki>|</nowiki>y<nowiki>|</nowiki>z
