About: Sheffer stroke

Property	Value
dbo:description	konnektiivi propositiologiikassa (fi) opérateur logique (fr) connettivo logico (it) Bezeichnung für einen mathematischen Operator oder Junktor (de) бинарная логическая операция, булева функция над двумя переменными (ru) logika operacio: «ne kaj 𝐴 kaj 𝐵» (eo) negación da conxunción lóxica (gl) negación de la conjunción lógica (es) logical operation that asserts that at least one of its operands is false (en) 与えられた複数の命題のうちに偽であるものが含まれることを示す論理演算 (ja) двомісна логічна операція (uk) مؤثر منطقي (ar)
dbo:thumbnail	wiki-commons:Special:FilePath/Venn1110.svg?width=300
dbo:wikiPageExternalLink	http://projecteuclid.org http://www.sccs.swarthmore.edu/users/06/adem/engin/e77vlsi/lab3/ https://web.archive.org/web/20090526075041/http:/projecteuclid.org/DPubS%3Fverb=Display&version=1.0&service=UI&handle=euclid.pja/1195520940&page=record http://www.iep.utm.edu/Sheffer_stroke/ http://hyperphysics.phy-astr.gsu.edu/hbase/electronic/nand.html
dbo:wikiPageWikiLink	dbr:Jean_Nicod dbr:File:Venn10.svg dbr:Edward_Vermilye_Huntington dbr:Józef_Maria_Bocheński dbr:Henry_M._Sheffer dbr:Harvard_University_Press dbr:Digital_electronics dbr:Flash_memory dbr:Peirce's_law dbc:Logic_symbols dbr:Principia_Mathematica dbr:NAND_logic dbc:Logical_connectives dbr:Propositional_calculus dbr:Propositional_logic dbr:Truth_table dbr:Charles_Hartshorne dbr:Functional_completeness dbr:Proposition dbr:Willard_Van_Orman_Quine dbr:Formal_system dbr:Well-formed_formula dbr:Cambridge dbr:South_Holland dbr:Duality_(mathematics) dbr:Logical_conjunction dbr:Boolean_algebra_(structure) dbr:Logical_NOR dbr:NAND_gate dbr:Internet_Encyclopedia_of_Philosophy dbr:Duality_(order_theory) dbr:Charles_Sanders_Peirce dbr:Charles_Sanders_Peirce_bibliography dbr:Negation dbr:Minimal_axioms_for_Boolean_algebra dbc:Logic_gates dbr:Laws_of_Form dbr:Existential_graph dbr:Logical_graph dbr:Transactions_of_the_American_Mathematical_Society dbr:Princeton_University_Press dbr:Function_application dbr:CMOS dbr:De_Morgan's_laws dbr:Boolean_domain dbr:D._Reidel dbr:Affine_transformation dbr:Dordrecht dbr:Boolean_function dbr:Logical_disjunction dbr:Paul_Weiss_(philosopher) dbr:Gate_equivalent dbr:Monotonic dbr:File:Venn0101.svg dbr:File:Venn1100.svg dbr:Ampheck dbr:File:Venn0001.svg dbr:File:Venn01.svg dbr:File:Venn0111.svg dbr:Sole_sufficient_operator dbr:Bocheński,_Józef_Maria dbr:Computer_processor dbr:Logical_negation dbr:Logical_operation dbr:Logical_value dbr:Peirce_arrow dbr:Polish_Notation dbr:File:Venn1001.svg dbr:File:Venn1010.svg dbr:File:Venn1011.svg dbr:File:Venn1110.svg
dbp:0Preserving	no (en)
dbp:1Preserving	no (en)
dbp:affine	no (en)
dbp:cs1Dates	y (en)
dbp:date	May 2023 (en)
dbp:logicGate	NAND_ANSI.svg (en)
dbp:monotone	no (en)
dbp:otherTitles	NAND (en)
dbp:selfDual	no (en)
dbp:title	Sheffer stroke (en)
dbp:vennDiagram	Venn1110.svg (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Logical_connectives dbt:Use_dmy_dates dbt:Use_list-defined_references dbt:Div_col dbt:Div_col_end dbt:Infobox_logical_connective dbt:Citation_needed dbt:Who dbt:2-ary_truth_table dbt:Logical_connectives_sidebar dbt:Ill dbt:Common_logical_symbols dbt:Short_description
dbp:wikifunction	Z10243 (en)
dct:subject	dbc:Logic_symbols dbc:Logical_connectives dbc:Logic_gates
rdfs:label	Sheffer stroke (en) Shefferscher Strich (de) Conjunción opuesta (es) Operatore di Sheffer (it) 否定論理積 (ja) Barre de Sheffer (fr) Dysjunkcja (Sheffera) (pl) 부정논리곱 (ko) Штрих Шеффера (ru) Штрих Шефера (uk) Sheffers streck (sv) 谢费尔竖线 (zh)
owl:sameAs	freebase:Sheffer stroke wikidata:Sheffer stroke dbpedia-it:Sheffer stroke dbpedia-de:Sheffer stroke dbpedia-fr:Sheffer stroke dbpedia-zh:Sheffer stroke dbpedia-ja:Sheffer stroke dbpedia-es:Sheffer stroke dbpedia-fa:Sheffer stroke dbpedia-ru:Sheffer stroke dbpedia-sv:Sheffer stroke dbpedia-pl:Sheffer stroke dbpedia-ko:Sheffer stroke dbpedia-fi:Sheffer stroke dbpedia-sr:Sheffer stroke dbpedia-uk:Sheffer stroke dbpedia-global:Sheffer stroke yago-res:Sheffer stroke dbr:Sheffer stroke
prov:wasDerivedFrom	wikipedia-en:Sheffer_stroke?oldid=1288248757&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Venn0001.svg wiki-commons:Special:FilePath/Venn1010.svg wiki-commons:Special:FilePath/Venn1110.svg wiki-commons:Special:FilePath/NAND_ANSI.svg wiki-commons:Special:FilePath/Venn1100.svg
foaf:isPrimaryTopicOf	wikipedia-en:Sheffer_stroke
is dbo:wikiPageRedirects of	dbr:Logical_NAND dbr:NAND_operator dbr:Alternative_denial dbr:Sheffer's_stroke dbr:Sheffer_Stroke dbr:Sheffer_connective dbr:Sheffers_stroke dbr:Logical_nand dbr:Inclusive_nand dbr:Scheffers_stroke dbr:⊼
is dbo:wikiPageWikiLink of	dbr:Jean_Nicod dbr:Vector_logic dbr:Polish_notation dbr:Józef_Maria_Bocheński dbr:Henry_M._Sheffer dbr:Validity_(logic) dbr:List_of_mathematical_abbreviations dbr:History_of_logic dbr:Axiom_of_reducibility dbr:First-order_logic dbr:Universal_quantification dbr:Principia_Mathematica dbr:NAND_logic dbr:Two-element_Boolean_algebra dbr:APL_(programming_language) dbr:Propositional_calculus dbr:Propositional_formula dbr:Functional_completeness dbr:Willard_Van_Orman_Quine dbr:Tractatus_Logico-Philosophicus dbr:Index_of_philosophy_articles_(R–Z) dbr:History_of_computer_science dbr:Index_of_logic_articles dbr:Logical_NOR dbr:NAND_gate dbr:Intuitionistic_logic dbr:Vertical_bar dbr:Logical_connective dbr:Minimal_axioms_for_Boolean_algebra dbr:Laws_of_Form dbr:History_of_type_theory dbr:Josiah_Royce dbr:List_of_logic_symbols dbr:Logic_alphabet dbr:Boolean_algebra dbr:Logic_gate dbr:Package-deal_fallacy dbr:Lojban_grammar dbr:List_of_Boolean_algebra_topics dbr:DEC_Alpha dbr:History_of_computing dbr:Boolean_function dbr:Reading_(computer) dbr:Circuit_satisfiability_problem dbr:Predicate_functor_logic dbr:APL_syntax_and_symbols dbr:Switching_circuit_theory dbr:Mxparser dbr:Boolean_algebras_canonically_defined dbr:Outline_of_logic dbr:↑ dbr:Glossary_of_Principia_Mathematica dbr:Logical_NAND dbr:NAND_operator dbr:Alternative_denial dbr:Sheffer's_stroke dbr:Sheffer_Stroke dbr:Sheffer_connective dbr:Sheffers_stroke dbr:Logical_nand dbr:Inclusive_nand dbr:Scheffers_stroke dbr:⊼
is foaf:primaryTopic of	wikipedia-en:Sheffer_stroke