De Morgan's laws (original) (raw)
Les lleis de De Morgan són una part de la lògica proposicional i analítica, i va ser creada per Augustus De Morgan (Madurai, 1806 - Londres, 1871).
| Property | Value |
|---|---|
| dbo:abstract | Les lleis de De Morgan són una part de la lògica proposicional i analítica, i va ser creada per Augustus De Morgan (Madurai, 1806 - Londres, 1871). (ca) تستخدم قوانين دي مورجان في قواعد المنطق في وصف نتيجة عكس عمليتي الضرب المنطقي(و) and و الجمع المنطقي(أو) or NOT (P OR Q) = (NOT P) AND (NOT Q)NOT (P AND Q) = (NOT P) OR (NOT Q) و عن طريق الإشارات حيث أن: * علامة تعبر عن النفي المنطقي(لا)(NOT) * علامة تعبر عن الضرب المنطقي (و)(AND) * علامة تعبر عن الجمع المنطقي(أو)(OR) * علامة fiuoio متساويان منطقيا (إذا و فقط إذا) وفي قوانيين الجبر البولييني الاتحاد والتقاطع يتبدلان تحت النفي. حيث أن: * هي عكس A * تعبير يدل علي التقاطع(AND) * تعبير يدل علي الاتحاد(OR) (ar) De Morganovy zákony určují vztah mezi sjednocením, průnikem a doplňkem množiny a další se zabývají matematickou logikou. Zákony se jmenují po Augustu De Morganovi (1806–1871). Mějme množiny a nechť označuje doplněk dané množiny. Potom platí vztahy Formální vztahy pro logické operace: kde: * a A je negace (NOT) * je konjunkce (AND) * je disjunkce (OR) * je zde metalogický symbol, který znamená "lze v logickém důkazu nahradit". De Morganovy zákony se uplatňují především v Booleově algebře. (cs) Die de-morganschen Gesetze (oft auch de-morgansche Regeln) sind zwei grundlegende Regeln für logische Aussagen. Sie wurden nach dem Mathematiker Augustus De Morgan benannt, obwohl sie bereits dem mittelalterlichen Logiker Wilhelm von Ockham bekannt waren. Sie gelten in allen Booleschen Algebren. Insbesondere sind sie in der Aussagenlogik und der Mengenlehre bedeutsam. In der Technik sind sie bedeutsam für die Erstellung von Verriegelungen und Programmen. (de) In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation. The rules can be expressed in English as: * The negation of a disjunction is the conjunction of the negations * The negation of a conjunction is the disjunction of the negations or * The complement of the union of two sets is the same as the intersection of their complements * The complement of the intersection of two sets is the same as the union of their complements or * not (A or B) = (not A) and (not B) * not (A and B) = (not A) or (not B) where "A or B" is an "inclusive or" meaning at least one of A or B rather than an "exclusive or" that means exactly one of A or B. In set theory and Boolean algebra, these are written formally as where * and are sets, * is the complement of , * is the intersection, and * is the union. In formal language, the rules are written as and where * P and Q are propositions, * is the negation logic operator (NOT), * is the conjunction logic operator (AND), * is the disjunction logic operator (OR), * is a metalogical symbol meaning "can be replaced in a logical proof with". Applications of the rules include simplification of logical expressions in computer programs and digital circuit designs. De Morgan's laws are an example of a more general concept of mathematical duality. (en) Logika proposizionalean eta Booleren aljebran De Morganen legeak bi transformazio arau dira, biak izanda inferentzia arau baliodunak. izendatzen dira, XIX. mendeko britainiar matematikaria. Arauek aukera ematen dute konjuntzioak eta disjuntzioak bestearen arabera adierazteko ukapenen bidez. Euskaraz arauak horrela adierazi daitezke: * Konjuntzioaren ukapena ukapenen disjuntzioa da. * Disjuntzioaren ukapena ukapenen konjuntzioa da. edo bestela esanda: * ez (A eta B) = (ez A) edo (ez B) * ez (A edo B) = (ez A) eta (ez B) Multzo-teorian eta Booleren aljebran horrela adierazten dira: non * eta multzoak dira. * multzoaren osagarria da. * bildura da. * ebakidura da. Lenguai formalean horrela adierazi ahal dira P eta Q proposizioen bidez: non * ¬ ukapenaren eragile logikoa da (EZ) * konjuntzioaren eragile logikoa da (ETA) * disjuntzioaren eragile logikoa da (EDO) * ⇔ "baldin eta soilik baldin" esanahia du (eu) Les lois de De Morgan sont des identités entre propositions logiques. Elles ont été formulées par le mathématicien britannique Augustus De Morgan (1806-1871). (fr) En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. Las reglas se pueden expresar en español como:La negación de la conjunción es la disyunción de las negaciones.La negación de la disyunción es la conjunción de las negaciones.o informalmente como:"no (A y B)" es lo mismo que "(no A) o (no B)"y también,"no (A o B)" es lo mismo que "(no A) y (no B)" Las reglas pueden ser expresadas en lenguaje formal con dos proposiciones P y Q, de esta forma: donde: * ¬ es el operador de negación (NO) * es el operador de conjunción (Y) * es el operador de disyunción (O) * ⇔ es un símbolo metalógico que significa "puede ser reemplazado en una prueba lógica" Entre las aplicaciones de las normas se incluyen la simplificación de expresiones lógicas en programas de computación y diseño de circuitos digitales. Las leyes de De Morgan son un ejemplo de concepto más general de dualidad matemática. (es) Le leggi di De Morgan, o teoremi di De Morgan, sono relative alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione e disgiunzione logica. Sono utilizzate per l'analisi di circuiti logici (elettrici, elettronici, pneumatici, comunque binari, cioè ON-OFF) e per la dimostrazione di teoremi basati regole logiche. (it) De wetten van De Morgan, of regels van De Morgan, zijn twee wetten in de formele logica die een verband leggen tussen de beide logische operatoren EN en OF en de negatie. Deze relatie wordt ook de dualiteit van De Morgan genoemd. Zij zijn genoemd naar de Britse wiskundige Augustus De Morgan, maar waren al eerder bekend. Voor twee proposities A en B luiden de wetten: niet (A en B) = (niet A) of (niet B)niet (A of B) = (niet A) en (niet B) In symbolen, waarbij EN door · wordt voorgesteld, OF door + en NIET door een overstreping, wordt dat: De wetten kunnen gegeneraliseerd worden voor meer dan twee proposities: ofwel: ofwel: (nl) ド・モルガンの法則（ド・モルガンのほうそく、De Morgan's laws）は、ブール論理や集合の代数学において、論理和と論理積と否定（集合のことばでは、合併と共通部分と補集合）の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン（Augustus de Morgan, 1806–1871）にちなむ。 この規則性（論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」）は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性（英: De Morgan's duality）と呼ばれることもある。 (ja) 드 모르간의 법칙(영어: De Morgan's laws) 또는 드 모르간의 정리는 수리 논리학이나 집합론, 컴퓨터 과학 등에서 논리곱(집합의 공통 부분), 논리합(집합의 모든 부분), 부정(여집합) 연산간의 관계(드 모르간의 상대성이라고 부름)를 기술하여 정리한 것으로, 수학자 오거스터스 드 모르간의 이름을 따서 드 모르간의 법칙이라고 한다. 전기, 전자 공학적으로는 논리 회로에서 응용되기도 하는데, AND 연산과 OR 연산을 이용한다. (ko) Prawa De Morgana – twierdzenia w logice matematycznej i teorii mnogości sformułowane przez angielskiego matematyka Augustusa De Morgana. (pl) Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары логических операций при помощи логического отрицания. Названы в честь шотландского математика Огастеса де Моргана.В краткой форме звучат так: Отрицание конъюнкции есть дизъюнкция отрицаний.Отрицание дизъюнкции есть конъюнкция отрицаний. (ru) Os teoremas do matemático De Morgan são propostas de simplificação de expressões em álgebra booleana de grande contribuição. Definem regras usadas para converter operações lógicas OU em E e vice versa. Sendo e as operações em sendo e assim definidas: (pt) De Morgans lagar är två slutledningsregler inom logik och boolesk algebra, uppkallade efter Augustus de Morgan på 1800-talet. Lagarna var kända redan på medeltiden och formulerades språkligt av William Ockham på 1400-talet. Reglerna, uttryckta som tautologier eller som teorem inom satslogiken, är där och är påståenden. Den första regeln är en negation av en konjunktion och den andra, en negation av en disjunktion. Informellt kan lagarna skrivas inte (P och Q) = inte P eller inte Qinte (P eller Q) = inte P och inte Q Reglerna har motsvarigheter inom mängdläran: där ∩ är snittoperatorn och ∪ är unionsoperatorn. Den allmänna formen är där I är en indexmängd och är A:s negation. De Morgans lagar har tillämpningar inom digitaltekniken vid konstruktion av logiska kretselement. De Morgans lagar motsvaras av logiska grindar enligt (1 = hög nivå, 0 = låg nivå): (sv) Правила де Моргана — властивість булевих алгебр, що дозволяє виразити одну з двоїстих операцій через іншу і унарну операцію доповнення (заперечення). Особливо часто використовуються у алгебрі множин і алгебрі логіки, що є прикладами булевої алгебри. Названі на честь британського математика і логіка Ауґустуса де Моргана. (uk) 在命题逻辑和逻辑代数中，德摩根定律（英語：De Morgan's laws，又称笛摩根定理、第摩根定律、对偶律等）是关于命题逻辑规律的一对法则。 19世纪英国数学家奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系： 即： 非（ 且 ）等价于（ 非 ）或（ 非 ）非（ 或 ）等价于（ 非 ）且（ 非 ） 德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，亚里士多德亦曾注意到类似的现象、且这也为古希腊与中世纪的逻辑学家熟知（引自Bocheński《形式逻辑历史》）。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Demorganlaws.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.iep.utm.edu/dual-log/ |
| dbo:wikiPageID | 64669 (xsd:integer) |
| dbo:wikiPageLength | 20949 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124623300 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Propositional_calculus dbr:Modal_logic dbr:Model_theory dbr:Negation_normal_form dbr:Metalogic dbr:Boolean_algebra_(logic) dbr:Alethic_modalities dbr:List_of_set_identities_and_relations dbr:Validity_(logic) dbr:Intermediate_logic dbr:Intuitionistic_logic dbr:Universal_quantifier dbc:Articles_containing_proofs dbr:Complement_(set_theory) dbr:Negation dbc:Duality_theories dbr:Electrical_engineering dbr:George_Boole dbr:Mnemonic dbr:Conjunctive_normal_form dbr:Theorem dbr:Logical_conjunction dbr:Computer_engineering dbr:Computer_program dbr:Kripke_semantics dbr:Propositional_logic dbr:Augustus_De_Morgan dbr:William_of_Ockham dbr:List_of_Boolean_algebra_topics dbr:Minimal_logic dbr:Duality_(mathematics) dbr:Exclusive_or dbr:Overline dbr:Formal_language dbr:Formal_proof dbr:Isomorphism dbr:Conditional_(programming) dbr:Digital_circuit dbr:Logical_disjunction dbr:Logic_gate dbr:Probability_theory dbc:Boolean_algebra dbr:Intersection_(set_theory) dbr:Jean_Buridan dbr:Tautology_(logic) dbr:Aristotle dbc:Rules_of_inference dbc:Theorems_in_propositional_logic dbr:Disjunctive_normal_form dbr:Boolean_algebra dbr:Classical_logic dbr:If_and_only_if dbr:Inclusive_or dbr:Set_theory dbr:Rule_of_inference dbr:Sequent dbr:Union_(set_theory) dbr:Expression_(computer_science) dbr:Normal_modal_logic dbr:Disjunction dbr:Positive_logic dbr:Existential_quantifier dbr:Logical_AND dbr:Logical_negation dbr:File:DeMorgan_Logic_Circuit_diagram_DIN.svg dbr:File:Demorganlaws.svg |
| dbp:id | 2308 (xsd:integer) p/d034130 (en) |
| dbp:title | Duality principle (en) de Morgan's Laws (en) de Morgan's laws (en) |
| dbp:urlname | DeMorgansLaws (en) deMorgansLaws (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:Set_theory dbt:Math dbt:MathWorld dbt:Overline dbt:Reflist dbt:Short_description dbt:PlanetMath dbt:Transformation_rules dbt:Classical_logic |
| dct:subject | dbc:Articles_containing_proofs dbc:Duality_theories dbc:Boolean_algebra dbc:Rules_of_inference dbc:Theorems_in_propositional_logic |
| rdf:type | yago:WikicatTheoremsInPropositionalLogic yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Content105809192 yago:Explanation105793000 yago:HigherCognitiveProcess105770664 yago:Idea105833840 yago:Message106598915 yago:Process105701363 yago:Proposition106750804 yago:PsychologicalFeature100023100 yago:Rule105846054 yago:Statement106722453 yago:Theorem106752293 yago:Theory105989479 yago:Thinking105770926 yago:WikicatDualityTheories |
| rdfs:comment | Les lleis de De Morgan són una part de la lògica proposicional i analítica, i va ser creada per Augustus De Morgan (Madurai, 1806 - Londres, 1871). (ca) تستخدم قوانين دي مورجان في قواعد المنطق في وصف نتيجة عكس عمليتي الضرب المنطقي(و) and و الجمع المنطقي(أو) or NOT (P OR Q) = (NOT P) AND (NOT Q)NOT (P AND Q) = (NOT P) OR (NOT Q) و عن طريق الإشارات حيث أن: * علامة تعبر عن النفي المنطقي(لا)(NOT) * علامة تعبر عن الضرب المنطقي (و)(AND) * علامة تعبر عن الجمع المنطقي(أو)(OR) * علامة fiuoio متساويان منطقيا (إذا و فقط إذا) وفي قوانيين الجبر البولييني الاتحاد والتقاطع يتبدلان تحت النفي. حيث أن: * هي عكس A * تعبير يدل علي التقاطع(AND) * تعبير يدل علي الاتحاد(OR) (ar) De Morganovy zákony určují vztah mezi sjednocením, průnikem a doplňkem množiny a další se zabývají matematickou logikou. Zákony se jmenují po Augustu De Morganovi (1806–1871). Mějme množiny a nechť označuje doplněk dané množiny. Potom platí vztahy Formální vztahy pro logické operace: kde: * a A je negace (NOT) * je konjunkce (AND) * je disjunkce (OR) * je zde metalogický symbol, který znamená "lze v logickém důkazu nahradit". De Morganovy zákony se uplatňují především v Booleově algebře. (cs) Die de-morganschen Gesetze (oft auch de-morgansche Regeln) sind zwei grundlegende Regeln für logische Aussagen. Sie wurden nach dem Mathematiker Augustus De Morgan benannt, obwohl sie bereits dem mittelalterlichen Logiker Wilhelm von Ockham bekannt waren. Sie gelten in allen Booleschen Algebren. Insbesondere sind sie in der Aussagenlogik und der Mengenlehre bedeutsam. In der Technik sind sie bedeutsam für die Erstellung von Verriegelungen und Programmen. (de) Les lois de De Morgan sont des identités entre propositions logiques. Elles ont été formulées par le mathématicien britannique Augustus De Morgan (1806-1871). (fr) Le leggi di De Morgan, o teoremi di De Morgan, sono relative alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione e disgiunzione logica. Sono utilizzate per l'analisi di circuiti logici (elettrici, elettronici, pneumatici, comunque binari, cioè ON-OFF) e per la dimostrazione di teoremi basati regole logiche. (it) ド・モルガンの法則（ド・モルガンのほうそく、De Morgan's laws）は、ブール論理や集合の代数学において、論理和と論理積と否定（集合のことばでは、合併と共通部分と補集合）の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン（Augustus de Morgan, 1806–1871）にちなむ。 この規則性（論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」）は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性（英: De Morgan's duality）と呼ばれることもある。 (ja) 드 모르간의 법칙(영어: De Morgan's laws) 또는 드 모르간의 정리는 수리 논리학이나 집합론, 컴퓨터 과학 등에서 논리곱(집합의 공통 부분), 논리합(집합의 모든 부분), 부정(여집합) 연산간의 관계(드 모르간의 상대성이라고 부름)를 기술하여 정리한 것으로, 수학자 오거스터스 드 모르간의 이름을 따서 드 모르간의 법칙이라고 한다. 전기, 전자 공학적으로는 논리 회로에서 응용되기도 하는데, AND 연산과 OR 연산을 이용한다. (ko) Prawa De Morgana – twierdzenia w logice matematycznej i teorii mnogości sformułowane przez angielskiego matematyka Augustusa De Morgana. (pl) Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары логических операций при помощи логического отрицания. Названы в честь шотландского математика Огастеса де Моргана.В краткой форме звучат так: Отрицание конъюнкции есть дизъюнкция отрицаний.Отрицание дизъюнкции есть конъюнкция отрицаний. (ru) Os teoremas do matemático De Morgan são propostas de simplificação de expressões em álgebra booleana de grande contribuição. Definem regras usadas para converter operações lógicas OU em E e vice versa. Sendo e as operações em sendo e assim definidas: (pt) Правила де Моргана — властивість булевих алгебр, що дозволяє виразити одну з двоїстих операцій через іншу і унарну операцію доповнення (заперечення). Особливо часто використовуються у алгебрі множин і алгебрі логіки, що є прикладами булевої алгебри. Названі на честь британського математика і логіка Ауґустуса де Моргана. (uk) 在命题逻辑和逻辑代数中，德摩根定律（英語：De Morgan's laws，又称笛摩根定理、第摩根定律、对偶律等）是关于命题逻辑规律的一对法则。 19世纪英国数学家奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系： 即： 非（ 且 ）等价于（ 非 ）或（ 非 ）非（ 或 ）等价于（ 非 ）且（ 非 ） 德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，亚里士多德亦曾注意到类似的现象、且这也为古希腊与中世纪的逻辑学家熟知（引自Bocheński《形式逻辑历史》）。 (zh) In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation. The rules can be expressed in English as: * The negation of a disjunction is the conjunction of the negations * The negation of a conjunction is the disjunction of the negations or or where In formal language, the rules are written as and where (en) En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. Las reglas se pueden expresar en español como:La negación de la conjunción es la disyunción de las negaciones.La negación de la disyunción es la conjunción de las negaciones.o informalmente como:"no (A y B)" es lo mismo que "(no A) o (no B)"y también,"no (A o B)" es lo mismo que "(no A) y (no B)" donde: (es) Logika proposizionalean eta Booleren aljebran De Morganen legeak bi transformazio arau dira, biak izanda inferentzia arau baliodunak. izendatzen dira, XIX. mendeko britainiar matematikaria. Arauek aukera ematen dute konjuntzioak eta disjuntzioak bestearen arabera adierazteko ukapenen bidez. Euskaraz arauak horrela adierazi daitezke: * Konjuntzioaren ukapena ukapenen disjuntzioa da. * Disjuntzioaren ukapena ukapenen konjuntzioa da. edo bestela esanda: * ez (A eta B) = (ez A) edo (ez B) * ez (A edo B) = (ez A) eta (ez B) Multzo-teorian eta Booleren aljebran horrela adierazten dira: non non (eu) De wetten van De Morgan, of regels van De Morgan, zijn twee wetten in de formele logica die een verband leggen tussen de beide logische operatoren EN en OF en de negatie. Deze relatie wordt ook de dualiteit van De Morgan genoemd. Zij zijn genoemd naar de Britse wiskundige Augustus De Morgan, maar waren al eerder bekend. Voor twee proposities A en B luiden de wetten: niet (A en B) = (niet A) of (niet B)niet (A of B) = (niet A) en (niet B) In symbolen, waarbij EN door · wordt voorgesteld, OF door + en NIET door een overstreping, wordt dat: ofwel: ofwel: (nl) De Morgans lagar är två slutledningsregler inom logik och boolesk algebra, uppkallade efter Augustus de Morgan på 1800-talet. Lagarna var kända redan på medeltiden och formulerades språkligt av William Ockham på 1400-talet. Reglerna, uttryckta som tautologier eller som teorem inom satslogiken, är där och är påståenden. Den första regeln är en negation av en konjunktion och den andra, en negation av en disjunktion. Informellt kan lagarna skrivas inte (P och Q) = inte P eller inte Qinte (P eller Q) = inte P och inte Q Reglerna har motsvarigheter inom mängdläran: Den allmänna formen är (sv) |
| rdfs:label | قوانين دي مورغان (ar) Lleis de De Morgan (ca) De Morganovy zákony (cs) De-morgansche Gesetze (de) Leyes de De Morgan (es) De Morgan's laws (en) De Morganen legeak (eu) Lois de De Morgan (fr) Leggi di De Morgan (it) 드 모르간의 법칙 (ko) ド・モルガンの法則 (ja) Wetten van De Morgan (nl) Teoremas de De Morgan (pt) Prawa De Morgana (pl) De Morgans lagar (sv) Законы де Моргана (ru) Правила де Моргана (uk) 德摩根定律 (zh) |
| owl:sameAs | freebase:De Morgan's laws yago-res:De Morgan's laws wikidata:De Morgan's laws dbpedia-ar:De Morgan's laws dbpedia-az:De Morgan's laws dbpedia-bg:De Morgan's laws dbpedia-ca:De Morgan's laws dbpedia-cs:De Morgan's laws dbpedia-cy:De Morgan's laws dbpedia-da:De Morgan's laws dbpedia-de:De Morgan's laws dbpedia-es:De Morgan's laws dbpedia-et:De Morgan's laws dbpedia-eu:De Morgan's laws dbpedia-fa:De Morgan's laws dbpedia-fi:De Morgan's laws dbpedia-fr:De Morgan's laws dbpedia-he:De Morgan's laws http://hi.dbpedia.org/resource/डिमॉर्गन_नियम dbpedia-hu:De Morgan's laws http://hy.dbpedia.org/resource/Դե_Մորգանի_բանաձևեր dbpedia-is:De Morgan's laws dbpedia-it:De Morgan's laws dbpedia-ja:De Morgan's laws dbpedia-ko:De Morgan's laws dbpedia-lmo:De Morgan's laws http://lt.dbpedia.org/resource/Dualioji_funkcija http://lv.dbpedia.org/resource/De_Morgana_likumi dbpedia-mk:De Morgan's laws dbpedia-nl:De Morgan's laws dbpedia-no:De Morgan's laws dbpedia-pl:De Morgan's laws dbpedia-pt:De Morgan's laws dbpedia-ru:De Morgan's laws dbpedia-sh:De Morgan's laws dbpedia-simple:De Morgan's laws dbpedia-sk:De Morgan's laws dbpedia-sr:De Morgan's laws dbpedia-sv:De Morgan's laws http://ta.dbpedia.org/resource/த_மோர்கனின்_விதி dbpedia-th:De Morgan's laws dbpedia-tr:De Morgan's laws dbpedia-uk:De Morgan's laws dbpedia-vi:De Morgan's laws dbpedia-zh:De Morgan's laws https://global.dbpedia.org/id/h8MM |
| prov:wasDerivedFrom | wikipedia-en:De_Morgan's_laws?oldid=1124623300&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/DeMorgan_Logic_Circuit_diagram_DIN.svg wiki-commons:Special:FilePath/Demorganlaws.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:De_Morgan's_laws |
| is dbo:knownFor of | dbr:Augustus_De_Morgan |
| is dbo:wikiPageDisambiguates of | dbr:De_Morgan |
| is dbo:wikiPageRedirects of | dbr:De_Morgan's_Laws dbr:De_Morgan's_law dbr:De_Morgan_duality_expressions dbr:De_Morgan_rules dbr:De_Morgans_laws dbr:DeMorgan's dbr:DeMorgan's_Law dbr:DeMorgan's_Laws dbr:DeMorgan's_Theorems dbr:DeMorgan's_Theory dbr:DeMorgan's_law dbr:DeMorgan's_laws dbr:DeMorgan's_theorem dbr:DeMorgans_Law dbr:De_Morgan's_Law dbr:De_Morgan's_Rule dbr:De_Morgan's_Theorems dbr:De_Morgan's_laws_for_quantifiers dbr:De_Morgan's_theorem dbr:De_Morgan's_theorems dbr:De_Morgan_Laws dbr:De_Morgan_dual dbr:De_Morgan_duality dbr:De_Morgan_law dbr:De_Morgan_laws dbr:De_Morgan_theorem dbr:De_Morgan’s_law dbr:De_Morgan’s_laws dbr:De_Morgan′s_laws dbr:De_morgan's_theorem dbr:Demorgan's_Laws dbr:Demorgan's_law dbr:Demorgan's_theorem dbr:Demorgan_Law dbr:Demorgans_law dbr:Negation_of_conjunction dbr:Negation_of_disjunction |
| is dbo:wikiPageWikiLink of | dbr:Canonical_normal_form dbr:Propositional_calculus dbr:Quantum_logic dbr:List_of_atheists_in_science_and_technology dbr:List_of_eponymous_laws dbr:List_of_examples_of_Stigler's_law dbr:Modal_logic dbr:Negation_normal_form dbr:Sheffer_stroke dbr:De_Morgan's_Laws dbr:De_Morgan's_law dbr:Algebra_of_sets dbr:List_of_set_identities_and_relations dbr:Ring_of_sets dbr:Universe_(mathematics) dbr:De_Morgan_algebra dbr:Σ-algebra dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Integrated_injection_logic dbr:Intensional_logic dbr:Intermediate_logic dbr:Intuitionism dbr:Intuitionistic_logic dbr:Liar_paradox_in_early_Islamic_tradition dbr:Pseudomathematics dbr:Complement_(set_theory) dbr:Consensus_theorem dbr:NAND_gate dbr:Negation dbr:Rewriting dbr:Safety_engineering dbr:Conjunctive_normal_form dbr:Converse_nonimplication dbr:Andrzej_Grzegorczyk dbr:Apollo_Guidance_Computer dbr:Linear_logic dbr:Logical_conjunction dbr:Complemented_lattice dbr:Computation_tree_logic dbr:Computer_engineering_compendium dbr:Z3_Theorem_Prover dbr:De_Morgan dbr:De_Morgan_duality_expressions dbr:De_Morgan_rules dbr:De_Morgans_laws dbr:PMOS_logic dbr:Augustus_De_Morgan dbr:Axiomatic_foundations_of_topological_spaces dbr:Truth_table dbr:Truth_value dbr:William_of_Ockham dbr:Distributive_property dbr:Dual_(category_theory) dbr:Fuzzy_set dbr:Law_of_excluded_middle dbr:Law_of_noncontradiction dbr:Laws_of_Form dbr:List_of_Boolean_algebra_topics dbr:Logic_level dbr:Minimal_logic dbr:T-norm dbr:Paraconsistent_logic dbr:Duality_(mathematics) dbr:Exclusive_or dbr:Flip-flop_(electronics) dbr:Overline dbr:PDP-8 dbr:Digital_electronics dbr:Foundations_of_mathematics dbr:History_of_logic dbr:Logical_disjunction dbr:Logical_equivalence dbr:Logic_gate dbr:Reliability_block_diagram dbr:Intersection_(set_theory) dbr:Karnaugh_map dbr:Duality dbr:Modus_ponendo_tollens dbr:Disjunctive_normal_form dbr:Boolean_algebra dbr:Boolean_algebra_(structure) dbr:Boolean_algebras_canonically_defined dbr:CMOS dbr:Polynomial_hierarchy dbr:Inclusion–exclusion_principle dbr:Kuratowski_closure_axioms dbr:Method_of_analytic_tableaux dbr:Catch-22_(logic) dbr:Read-once_function dbr:Set_(mathematics) dbr:Sequent_calculus dbr:Unit_interval dbr:Metric_temporal_logic dbr:Monoidal_t-norm_logic dbr:Nested_intervals dbr:Exportation_(logic) dbr:Rule_of_replacement dbr:Existential_quantification dbr:Residuated_Boolean_algebra dbr:Tetralemma dbr:Vacuous_truth dbr:Tseytin_transformation dbr:Non-classical_logic dbr:Topological_space dbr:Outline_of_discrete_mathematics dbr:Outline_of_electronics dbr:Outline_of_logic dbr:Subjective_logic dbr:DeMorgan's dbr:DeMorgan's_Law dbr:DeMorgan's_Laws dbr:DeMorgan's_Theorems dbr:DeMorgan's_Theory dbr:DeMorgan's_law dbr:DeMorgan's_laws dbr:DeMorgan's_theorem dbr:DeMorgans_Law dbr:De_Morgan's_Law dbr:De_Morgan's_Rule dbr:De_Morgan's_Theorems dbr:De_Morgan's_laws_for_quantifiers dbr:De_Morgan's_theorem dbr:De_Morgan's_theorems dbr:De_Morgan_Laws dbr:De_Morgan_dual dbr:De_Morgan_duality dbr:De_Morgan_law dbr:De_Morgan_laws dbr:De_Morgan_theorem dbr:De_Morgan’s_law dbr:De_Morgan’s_laws dbr:De_Morgan′s_laws dbr:De_morgan's_theorem dbr:Demorgan's_Laws dbr:Demorgan's_law dbr:Demorgan's_theorem dbr:Demorgan_Law dbr:Demorgans_law dbr:Negation_of_conjunction dbr:Negation_of_disjunction |
| is dbp:knownFor of | dbr:Augustus_De_Morgan |
| is foaf:primaryTopic of | wikipedia-en:De_Morgan's_laws |
