Штрих Шеффера: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
DannyS712 (обсуждение | вклад) м (GR) File:7400.jpg → File:TexasInstruments 7400 chip, view and element placement.jpg Criterion 2 (meaningless or ambiguous name) |
викификация; оформление; пунктуация; ПРО:См. также: стрелка Пирса упоминается в статье, алгебра логики не нужна, остальные три используются в преамбуле |
||
Строка 15:
| Самодвойственна = Нет
}}
'''Штрих Ше́ффера'''
Штрих Шеффера, обычно обозначаемый |, эквивалентен операции И-НЕ<ref>В Юникоде для операции И-НЕ предусмотрен символ
<center>
{| class="wikitable" style="text-align: center" |
! style="width: 5em" | X
! style="width: 5em" | Y
! style="width: 5em" | {{nobr|X <nowiki>|</nowiki> Y}}
|-
| 0 || 0 || 1
Строка 34:
</center>
Таким образом, высказывание {{nobr|X <nowiki>|</nowiki> Y}} означает, что X и Y несовместны, то есть не являются истинными одновременно. От перемены мест операндов результат операции не изменяется.
Штрих [[Шеффер, Генри Морис|Шеффера]], как и [[стрелка Пирса]], образует [[базис]] для пространства булевых функций от двух переменных. То есть, используя только штрих Шеффера, можно построить остальные операции. Например,
: <math>\left( {X \,|\,X }
: <math>\left( {X \,|\,
: <math>X \,|\, \neg X </math> — константа 1.
▲: <math>X \,|\, \neg X </math> — константа 1
[[Файл:TexasInstruments 7400 chip, view and element placement.jpg|thumb|220px|Цифровая [[Транзисторно-транзисторная логика|ТТЛ-микросхема]] [[Микросхемы серии 7400|SN7400N]], содержащая в корпусе четыре элемента 2И-НЕ, реализующих функцию штрих Шеффера]]
Строка 52 ⟶ 50 :
В европейских стандартах принято другое обозначение:
[[Файл:NAND gate RU.svg|center|75px]]
== Примечания ==
|