@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q173300 rdfs:label "قانونا دي مورغان"@ar,
        "De Morqan qanunları"@az,
        "Законы Дэ Моргана"@be-tarask,
        "Закони на де Морган"@bg,
        "Lleis de De Morgan"@ca,
        "De Morganovy zákony"@cs,
        "Deddfau De Morgan"@cy,
        "De Morgans love"@da,
        "De Morgan’sche Gesetze"@de,
        "Banis di de Morgan"@dtp,
        "τύποι Ντε Μόργκαν"@el,
        "De Morgan's laws"@en,
        "leĝoj de De Morgan"@eo,
        "leyes de De Morgan"@es,
        "De Morgani seadused"@et,
        "De Morganen legeak"@eu,
        "قوانین دومورگان"@fa,
        "De Morganin lait"@fi,
        "lois de De Morgan"@fr,
        "leis de De Morgan"@gl,
        "כללי דה מורגן"@he,
        "डिमॉर्गन नियम"@hi,
        "De Morgan-azonosságok"@hu,
        "Դե Մորգանի բանաձևեր"@hy,
        "Hukum De Morgan"@id,
        "De Morgan-reglan"@is,
        "leggi di De Morgan"@it,
        "ド・モルガンの法則"@ja,
        "드 모르간의 법칙"@ko,
        "Leges De Morgan"@la,
        "Teorema di De Morgan"@lmo,
        "Dualioji funkcija"@lt,
        "De Morgana likumi"@lv,
        "Де Морганови закони"@mk,
        "De Morgan ê hoat-chek"@nan,
        "De Morgans lover"@nb,
        "wetten van De Morgan"@nl,
        "Prawa De Morgana"@pl,
        "teoremas de De Morgan"@pt,
        "legile De Morgan"@ro,
        "Законы де Моргана"@ru,
        "De Morganovi zakoni"@sh,
        "De Morganove zákony"@sk,
        "Де Морганови закони"@sr,
        "De Morgans lagar"@sv,
        "த மோர்கனின் விதி"@ta,
        "กฎเดอมอร์แกน"@th,
        "De Morgan yasaları"@tr,
        "правила де Моргана"@uk,
        "De Morgan teoremasi"@uz,
        "Luật De Morgan"@vi,
        "德摩根定律"@zh ;
    schema1:dateModified "2026-09-12T19:11:15+00:00"^^xsd:dateTime ;
    schema1:description "правілы перамяненьня (трансфармацыі) ў лёгіцы"@be-tarask,
        "Äquivalenzregeln für boolesche logische Verknüpfungen"@de,
        "δύο σχετικές ταυτότητες στην θεωρία συνόλων και την προτασιακή λογική"@el,
        "pair of transformation rules that are both valid rules of inference"@en,
        "یک جفت قواعد تبدیلاند که هردو قواعد استنتاجی معتبری میباشند"@fa,
        "logiikan sääntöjä"@fi,
        "identités entre propositions logiques"@fr,
        "son un par de regras de transformación que son regras de inferencia válidas"@gl,
        "teoremi relativi alla logica booleana"@it,
        "論理和と論理積と否定の間に成り立つ規則性"@ja,
        "gelijkwaardigheden tussen logische formules waarin de bewerkingen \"en\" en \"of\" voorkomen samen met hun ontkenning"@nl,
        "reguły w logice i teorii mnogości, opisujące przeczenia (negacje) niektórych zdań i dopełnienia niektórych zbiorów"@pl,
        "identități în logica matematică"@ro,
        "命题逻辑和逻辑代数中关于命题逻辑规律的一对法则"@zh ;
    schema1:version 2544687109 ;
    wikibase:identifiers 14 ;
    wikibase:sitelinks 55 ;
    wikibase:statements 29 ;
    skos:altLabel "قانونا دو مورغان"@ar,
        "قانونا دي مورجان"@ar,
        "قوانين دو مورغان"@ar,
        "قوانين دي مورجان"@ar,
        "قوانين دي مورغان"@ar,
        "Дэ Морганавы законы"@be-tarask,
        "Дэ Морганавы правілы"@be-tarask,
        "Правілы Дэ Моргана"@be-tarask,
        "νόμοι De Morgan"@el,
        "νόμοι Ντε Μόργκαν"@el,
        "νόμος Ντε Μόργκαν"@el,
        "τύποι De Morgan"@el,
        "τύπος Ντε Μόργκαν"@el,
        "DeMorgan’s theorem"@en,
        "Teorema de De Morgan"@gl,
        "teoremi di De Morgan"@it,
        "De Morgans lov"@nb,
        "relațiile De Morgan"@ro,
        "де Моргана правила"@uk,
        "德·摩根定律"@zh ;
    p:P10376 wds:Q173300-3976afc0-4a21-f4ea-34c9-1d87546568ee ;
    p:P10565 wds:Q173300-E5711953-491C-4C02-9049-979A4B6E5D60 ;
    p:P12385 wds:Q173300-47fffbd3-1c21-4bcb-8456-d3495e434e92 ;
    p:P1296 wds:Q173300-55D52A18-8489-4853-825A-0DB931120F13 ;
    p:P138 wds:q173300-06D50379-7B0A-4C05-9B3C-4F23DE7BEA62 ;
    p:P1417 wds:Q173300-41233E24-B44E-4921-A994-8961DEB03219 ;
    p:P14541 wds:Q173300-7E6A8863-B4EE-42F2-AFED-21A50E8022CC ;
    p:P18 wds:Q173300-f32625cf-4ec9-b53d-9fd9-bbd762130c2d ;
    p:P2534 wds:Q173300-05be0eff-44a2-640a-562f-a621b1e6c30d,
        wds:Q173300-43eaa113-464d-2512-cf3d-a4e878f942c4 ;
    p:P2577 wds:Q173300-3a51b507-46be-d3c0-c00f-1c9599ff81b8 ;
    p:P2579 wds:Q173300-C361A2DF-9A90-4F8B-BE6D-0470FB7888DE ;
    p:P2812 wds:Q173300-723B56A7-7FA0-404A-BD5E-E39F6CBF4B78 ;
    p:P31 wds:Q173300-E9ECD209-34B3-40C3-B016-7E73F011D14C,
        wds:Q173300-F6D4FE81-CD27-4573-B42A-C76593801548 ;
    p:P6104 wds:Q173300-7AA7FA2F-701C-4F97-9A32-871815C854F3 ;
    p:P6366 wds:Q173300-89E0C7CE-0F67-4A63-AA7B-3054BB387282 ;
    p:P646 wds:Q173300-01824F72-F132-4FE9-89F8-AD5577E2B858 ;
    p:P6564 wds:Q173300-274643e8-4701-5fc0-6037-c50919c84350 ;
    p:P7235 wds:Q173300-16325dee-4bb5-ba96-34a2-6df70ab37c0d,
        wds:Q173300-17114449-4704-d38b-f959-6d03db886184,
        wds:Q173300-311df8c2-4d10-7b17-b5a9-963f1f8d633c,
        wds:Q173300-82d5de75-4f8f-d39a-13e5-27dd151fc43d,
        wds:Q173300-8551d6f0-4d70-3baa-e956-66984f5f8127,
        wds:Q173300-c24d5843-47ec-6552-01a5-e63e1f61a4eb ;
    p:P7276 wds:Q173300-9CA83CD9-873A-4F67-B45A-AB79FB9AF49F ;
    p:P7554 wds:Q173300-cf60f6de-471a-e922-a2d9-add2037af79e ;
    p:P8313 wds:Q173300-C879C217-C261-4A16-83F0-D4A8486C981B ;
    p:P9621 wds:Q173300-ed9a49c6-4eb4-489d-c3c0-16a15f04bd02 ;
    wdtn:P6366 <https://makg.org/entity/160443082> ;
    wdt:P10376 "computer-science/de-morgans-theorem" ;
    wdt:P10565 "214870" ;
    wdt:P12385 "lleis-de-de-morgan" ;
    wdt:P1296 "0021979" ;
    wdt:P138 wd:Q208448 ;
    wdt:P1417 "topic/De-Morgan-laws" ;
    wdt:P14541 "3nrgmr" ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Demorganlaws.svg> ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi mathvariant=\"normal\">&#x00AC;</mi><mo stretchy=\"false\">(</mo><mi>P</mi><mo stretchy=\"false\">&#x2227;</mo><mi>Q</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x22A2;</mo><mo stretchy=\"false\">(</mo><mi mathvariant=\"normal\">&#x00AC;</mi><mi>P</mi><mo stretchy=\"false\">&#x2228;</mo><mi mathvariant=\"normal\">&#x00AC;</mi><mi>Q</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">.</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi mathvariant=\"normal\">&#x00AC;</mi><mo stretchy=\"false\">(</mo><mi>P</mi><mo stretchy=\"false\">&#x2228;</mo><mi>Q</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x22A2;</mo><mo stretchy=\"false\">(</mo><mi mathvariant=\"normal\">&#x00AC;</mi><mi>P</mi><mo stretchy=\"false\">&#x2227;</mo><mi mathvariant=\"normal\">&#x00AC;</mi><mi>Q</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">.</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2577 wd:Q236975 ;
    wdt:P2579 wd:Q8078 ;
    wdt:P2812 "deMorgansLaws" ;
    wdt:P31 wd:Q1068763,
        wd:Q65943 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "160443082" ;
    wdt:P646 "/m/0h7nn" ;
    wdt:P6564 "de-morgans-laws" ;
    wdt:P7235 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi mathvariant=\"normal\">&#x00AC;</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi>P</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi>Q</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mo stretchy=\"false\">&#x2227;</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mo stretchy=\"false\">&#x2228;</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mo stretchy=\"false\">&#x22A2;</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P7276 "DE%20MORGANOVY%20Z%C3%81KONY" ;
    wdt:P7554 "De_Morgan_laws" ;
    wdt:P8313 "De_Morgans_love" ;
    wdt:P9621 "de-morgan-leggi-di" .