"canonical disjunctive normal form" meaning in English

See canonical disjunctive normal form in All languages combined, or Wiktionary

Noun

Head templates: {{en-noun|-}} canonical disjunctive normal form (uncountable)
  1. (logic) Disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals). Tags: uncountable Related terms: canonical conjunctive normal form Translations (disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)): kanoninen disjunktiivinen normaalimuoto (Finnish), kanonische disjunktive Normalform [feminine] (German), but see kanoniczna alternatywna postać normalna [feminine] (Polish)
{
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "canonical disjunctive normal form (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Polish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Meronym: minterm"
        }
      ],
      "glosses": [
        "Disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "id": "en-canonical_disjunctive_normal_form-en-noun-y5XogF5V",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "Disjunctive normal form",
          "disjunctive normal form"
        ],
        [
          "literal",
          "literal"
        ]
      ],
      "raw_glosses": [
        "(logic) Disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "related": [
        {
          "word": "canonical conjunctive normal form"
        }
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "code": "fi",
          "lang": "Finnish",
          "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)",
          "word": "kanoninen disjunktiivinen normaalimuoto"
        },
        {
          "code": "de",
          "lang": "German",
          "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)",
          "tags": [
            "feminine"
          ],
          "word": "kanonische disjunktive Normalform"
        },
        {
          "code": "pl",
          "lang": "Polish",
          "note": "no equivalent term in Polish",
          "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)"
        },
        {
          "code": "pl",
          "lang": "Polish",
          "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)",
          "tags": [
            "feminine"
          ],
          "word": "but see kanoniczna alternatywna postać normalna"
        }
      ]
    }
  ],
  "word": "canonical disjunctive normal form"
}
{
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "canonical disjunctive normal form (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "canonical conjunctive normal form"
    }
  ],
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English uncountable nouns",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Finnish translations",
        "Terms with German translations",
        "Terms with Polish translations",
        "en:Logic"
      ],
      "examples": [
        {
          "text": "Meronym: minterm"
        }
      ],
      "glosses": [
        "Disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "Disjunctive normal form",
          "disjunctive normal form"
        ],
        [
          "literal",
          "literal"
        ]
      ],
      "raw_glosses": [
        "(logic) Disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)",
      "word": "kanoninen disjunktiivinen normaalimuoto"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)",
      "tags": [
        "feminine"
      ],
      "word": "kanonische disjunktive Normalform"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "note": "no equivalent term in Polish",
      "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)",
      "tags": [
        "feminine"
      ],
      "word": "but see kanoniczna alternatywna postać normalna"
    }
  ],
  "word": "canonical disjunctive normal form"
}

Download raw JSONL data for canonical disjunctive normal form meaning in English (2.6kB)


This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-06-01 from the enwiktionary dump dated 2025-05-20 using wiktextract (3dadd05 and f1c2b61). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.