| dbo:abstract |
لدينا A . A=A حسب نظرية بولإذا تممنا العلاقة السابقة مرتين وحسب نظرية دي مورغان فإن: (A ↑ A)=(A.A)=(A )' (1) وبالتالي فإن (2) A ↑ A )↑ (B ↑ B)=[(A.A)´.(B.B)´]´ = A+B ) ( حسب نظرية دي مورغان) إن تطبيق المتحول A على مدخلي بوابة NAND ثنائية المداخل يعطي على مخرج البوابة المتحول'(A) أي أنه يمكن استخدام العملية NAND لتنفيذ عملية النفي NOT لمتحول واحد A كما نلاحظ من العلاقة(2) أن تطبيق عميلة NAND عدة مرات يسمح بالحصول على التابع. OR=A+B . إذًا يمكن استبدال عميليتي ORو NOTبالعميلة NAND . وبما أن هاتين العميليتين كافيتين يمكن الاستنتاج أن عملية NAND كافية أيضًا. (ar) Tots els sistemes lògics poden ser convertits a circuits amb portes NAND, tal com va demostrar matemàticament Henry M. Sheffer l'any 1913 en la revista Transactions of the American Mathematical Society (Sheffer 1913). Això també aplica per a les portes NOR. En principi, qualsevol funció lògica combinatòria es pot realitzar amb prous portes NAND. (ca) La lógica NAND hace referencia al hecho de que, debido a que la función NAND tiene una funcionalidad completa, todos los sistemas lógicos se pueden convertir en puertas NAND, tal y como demostró matemáticamente Henry M. Sheffer en 1913 en la publicación Transactions of the American Mathematical Society (Sheffer 1913). Esto también es cierto para las puertas NOR. En principio, cualquier función lógica combinatoria puede realizarse con suficientes puertas NAND. (es) The NAND Boolean function has the property of functional completeness. This means that any Boolean expression can be re-expressed by an equivalent expression utilizing only NAND operations. For example, the function NOT(x) may be equivalently expressed as NAND(x,x). In the field of digital electronic circuits, this implies that it is possible to implement any Boolean function using just NAND gates. The mathematical proof for this was published by Henry M. Sheffer in 1913 in the Transactions of the American Mathematical Society (Sheffer 1913). A similar case applies to the NOR function, and this is referred to as NOR logic. (en) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/NAND_ANSI_Labelled.svg?width=300 |
| dbo:wikiPageExternalLink |
https://nandgame.com/ http://www.fullchipdesign.com/drive_xor_nand_interview.htm https://archive.org/details/ttlcookbook00lanc/page/126 http://www.allaboutcircuits.com/vol_4/chpt_3/5.html |
| dbo:wikiPageID |
3521614 (xsd:integer) |
| dbo:wikiPageLength |
11253 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1104410550 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Sheffer_stroke dbr:De_Morgan's_Laws dbr:NAND_gate dbr:NOR_logic dbr:Logical_NOR dbr:Functional_completeness dbr:Transistors dbr:Equivalence_relation dbr:Digital_electronics dbr:AND_gate dbc:Logic_gates dbr:Henry_M._Sheffer dbr:Disjunctive_normal_form dbr:Boolean_function dbr:CMOS dbr:Multiplexer dbr:Transactions_of_the_American_Mathematical_Society dbr:P-channel dbr:N-channel dbr:De_Morgan's_Law dbr:File:AND_ANSI_Labelled.svg dbr:File:AND_from_NAND.svg dbr:File:CMOS_NAND.svg dbr:File:NAND_ANSI_Labelled.svg dbr:File:NOR_ANSI_Labelled.svg dbr:File:OR_ANSI_Labelled.svg dbr:File:XNOR_ANSI_Labelled.svg dbr:File:NOR_from_NAND.svg dbr:File:OR_from_NAND.svg dbr:File:XNOR_from_NAND.svg dbr:File:XOR_from_NAND.svg dbr:File:DEMUX_Gate.svg dbr:File:XNOR_from_NAND_2.svg dbr:File:XOR_from_NAND_2.svg dbr:File:XOR_ANSI_Labelled.svg dbr:File:NOT_ANSI_Labelled.svg dbr:File:NOT_from_NAND.svg |
| dbp:wikiPageUsesTemplate |
dbt:About dbt:Citation dbt:Cite_book dbt:Main dbt:Reflist dbt:See_also |
| dcterms:subject |
dbc:Logic_gates |
| rdf:type |
owl:Thing yago:WikicatLogicGates yago:Artifact100021939 yago:Circuit103033362 yago:ComputerCircuit103084420 yago:Device103183080 yago:ElectricalDevice103269401 yago:Gate103427656 yago:Instrumentality103575240 yago:IntegratedCircuit103577090 yago:Object100002684 yago:PhysicalEntity100001930 yago:WikicatIntegratedCircuits yago:Whole100003553 |
| rdfs:comment |
لدينا A . A=A حسب نظرية بولإذا تممنا العلاقة السابقة مرتين وحسب نظرية دي مورغان فإن: (A ↑ A)=(A.A)=(A )' (1) وبالتالي فإن (2) A ↑ A )↑ (B ↑ B)=[(A.A)´.(B.B)´]´ = A+B ) ( حسب نظرية دي مورغان) إن تطبيق المتحول A على مدخلي بوابة NAND ثنائية المداخل يعطي على مخرج البوابة المتحول'(A) أي أنه يمكن استخدام العملية NAND لتنفيذ عملية النفي NOT لمتحول واحد A كما نلاحظ من العلاقة(2) أن تطبيق عميلة NAND عدة مرات يسمح بالحصول على التابع. OR=A+B . إذًا يمكن استبدال عميليتي ORو NOTبالعميلة NAND . وبما أن هاتين العميليتين كافيتين يمكن الاستنتاج أن عملية NAND كافية أيضًا. (ar) Tots els sistemes lògics poden ser convertits a circuits amb portes NAND, tal com va demostrar matemàticament Henry M. Sheffer l'any 1913 en la revista Transactions of the American Mathematical Society (Sheffer 1913). Això també aplica per a les portes NOR. En principi, qualsevol funció lògica combinatòria es pot realitzar amb prous portes NAND. (ca) La lógica NAND hace referencia al hecho de que, debido a que la función NAND tiene una funcionalidad completa, todos los sistemas lógicos se pueden convertir en puertas NAND, tal y como demostró matemáticamente Henry M. Sheffer en 1913 en la publicación Transactions of the American Mathematical Society (Sheffer 1913). Esto también es cierto para las puertas NOR. En principio, cualquier función lógica combinatoria puede realizarse con suficientes puertas NAND. (es) The NAND Boolean function has the property of functional completeness. This means that any Boolean expression can be re-expressed by an equivalent expression utilizing only NAND operations. For example, the function NOT(x) may be equivalently expressed as NAND(x,x). In the field of digital electronic circuits, this implies that it is possible to implement any Boolean function using just NAND gates. (en) |
| rdfs:label |
تمثيل التوابع المنطقية باستخدام التابع NAND (ar) Lògica NAND (ca) Lógica NAND (es) NAND logic (en) |
| rdfs:seeAlso |
dbr:NOR_gate dbr:NOT_gate dbr:OR_gate dbr:AND_gate dbr:XOR_gate dbr:XNOR_gate |
| owl:sameAs |
freebase:NAND logic yago-res:NAND logic wikidata:NAND logic dbpedia-ar:NAND logic dbpedia-ca:NAND logic dbpedia-es:NAND logic dbpedia-fa:NAND logic dbpedia-no:NAND logic dbpedia-ro:NAND logic https://global.dbpedia.org/id/3ostj |
| prov:wasDerivedFrom |
wikipedia-en:NAND_logic?oldid=1104410550&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/CMOS_NAND.svg wiki-commons:Special:FilePath/AND_ANSI_Labelled.svg wiki-commons:Special:FilePath/NAND_ANSI_Labelled.svg wiki-commons:Special:FilePath/NOR_ANSI_Labelled.svg wiki-commons:Special:FilePath/OR_ANSI_Labelled.svg wiki-commons:Special:FilePath/XNOR_ANSI_Labelled.svg wiki-commons:Special:FilePath/AND_from_NAND.svg wiki-commons:Special:FilePath/NOR_from_NAND.svg wiki-commons:Special:FilePath/NOT_ANSI_Labelled.svg wiki-commons:Special:FilePath/NOT_from_NAND.svg wiki-commons:Special:FilePath/OR_from_NAND.svg wiki-commons:Special:FilePath/XNOR_from_NAND.svg wiki-commons:Special:FilePath/XOR_ANSI_Labelled.svg wiki-commons:Special:FilePath/XOR_from_NAND.svg wiki-commons:Special:FilePath/DEMUX_Gate.svg wiki-commons:Special:FilePath/XNOR_from_NAND_2.svg wiki-commons:Special:FilePath/XOR_from_NAND_2.svg |
| foaf:isPrimaryTopicOf |
wikipedia-en:NAND_logic |
| is dbo:wikiPageDisambiguates of |
dbr:Nand |
| is dbo:wikiPageRedirects of |
dbr:NAND_Logic |
| is dbo:wikiPageWikiLink of |
dbr:Sheffer_stroke dbr:Chemical_computer dbr:NOR_gate dbr:NOR_logic dbr:Nand dbr:History_of_computer_science dbr:History_of_computing dbr:Logic_gate dbr:AND-OR-invert dbr:XOR_gate dbr:Evolving_digital_ecological_network dbr:XNOR_gate dbr:NAND_Logic dbr:Switching_circuit_theory dbr:Technological_studies |
| is foaf:primaryTopic of |
wikipedia-en:NAND_logic |
