ЧТО ОЗНАЧАЕТ СЛОВО SHEFFER'S STROKE
Шеффер
В булевых функциях и исчислении высказываний штрих Шеффера, названный в честь Генри М. Шеффера, написанный «», «Dpq» или «↑», обозначает логическую операцию, эквивалентную отрицанию операции конъюнкции, выраженной на обычном языке как «не оба». Он также называется nand или альтернативным отрицанием, поскольку он фактически говорит о том, что хотя бы один из его операндов является ложным. В булевой алгебре и цифровой электронике она известна как операция NAND. Как и его двойственный оператор NOR, NAND может использоваться сам по себе, без какого-либо другого логического оператора, для создания логической формальной системы. Это свойство делает ворота NAND решающими для современной цифровой электроники, в том числе ее использование в флэш-памяти NAND и дизайн компьютерного процессора.
Значение слова Sheffer's stroke в словаре английский языка
Определение штриха Шеффера в словаре - это функция двух предложений, эквивалентная отрицанию их конъюнкции и написанная p | q, где p, q, - аргументы: p | q является ложным только тогда, когда p, q являются истинными. Из всего этого можно построить все функции истинности.
КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «SHEFFER'S STROKE»
Поиск случаев использования слова
Sheffer's stroke в следующих библиографических источниках. Книги, относящиеся к слову
Sheffer's stroke, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на английский языке.
1
Mathematical Excursions, Enhanced Edition
TABLE 3.13 Sheffer's Stroke p p q q T T F T F T F T T F F T In 1913, the logician
Henry M. Sheffer created a connective that we now refer to as Sheffer's stroke (or
NAND). This connective is often denoted by the symbol . Table 3.13 shows that ...
Richard Aufmann, Joanne Lockwood, Richard Nation,
2014
2
Mathematical Excursions
In 1913, the logician Henry M. Sheffer created a connective that we now refer to
as Sheffer's stroke (or NAND). This connective is often denoted by the symbol .
Table 3.13 shows that p q is equivalent to p q. Sheffer's stroke p q is false when ...
Richard Aufmann, Joanne Lockwood, Richard Nation,
2012
3
Mathematical Excursion, Enhanced Edition
Excursion Sheffer's Stroke and the NAND Gate Exercise Set 3.4 Table 3.12 1100
Input streams 1010 Output. pq TT F TF T FT T FF T Table 3.11 Sheffer's stroke In
1913, the logician Henry M. Sheffer created a connective that we now refer to as
...
Richard Aufmann, Joanne Lockwood, Richard Nation,
2009
prove that Sheffer's stroke alone must be adequate too. As you might expect, the
proof proceeds by finding semantically equivalent truth-functions for '~' and 'v' in
terms of '|' alone. So, there are only two cases to worry about. Here are the ...
5
Mathematical thinking and quantitative reasoning
Table 2.10 Sheffer's stroke In 1913, the logician Henry M. Sheffer created a
connective that we now refer to as Sheffer's stroke (or NAND). This connective is
often denoted by the symbol . Table 2.10 shows that is equivalent to Sheffer's
stroke is ...
Just when everything looks most unfortunate, a surprise visitor appears: the |-
operator. The |-operator is pronounced nand operator (short for not and). It's
sometimes called Sheffer's stroke, after inventor, Henry Sheffer. The statement x |
y is ...
7
Natural Deduction: An Introduction To Logic With Real ...
Actually, greater economy of expression still can be achieved through the use of
either of two new operators, Peirce's Arrow Operator 'i,' and Sheffer's Stroke
Operator '|,' in terms of either of which all the other operators can be defined?
Richard T.W. Arthur,
2011
8
The Development of Modern Logic
Among the results to be mentioned are Sheffer's (re)discovery (1913) of the
possibility of defining all Boolean propositional connectives starting from the
notion of incompatibility (Sheffer's stroke). Using Sheffer's stroke, Nicod (1916–
1919) was ...
Department of Philosophy University of Tampere Leila Haaparanta Professor, Finland,
2009
9
The Realism-Antirealism Debate in the Age of Alternative Logics
Take the following simple example: suppose that instead of defining classical
logic with the usual conjunction, disjunction, implication and negation constants (
and bottom), we use Sheffer's stroke (and bottom). It is well known that classical ...
Shahid Rahman, Giuseppe Primiero, Mathieu Marion,
2011
10
The Oxford Handbook of Wittgenstein
... of Russell's paper entitled “On Matter—The Problem Stated,” there are jottings
in Russell's and Wittgenstein's hands which reveal that they were discussing truth
-tables and Sheffer's stroke (McGuinness 1988, 160). In the verso,12 the Sheffer
...
Oskari Kuusela, Marie McGinn,
2011