"canonical conjunctive normal form" meaning in All languages combined

See canonical conjunctive normal form on Wiktionary

Noun [English]

Forms: canonical conjunctive normal forms [plural]
Head templates: {{en-noun}} canonical conjunctive normal form (plural canonical conjunctive normal forms)
  1. (logic) Conjunctive normal form with the additional property that all of the terms of the product contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals). Categories (topical): Logic Meronyms: maxterm Related terms: canonical disjunctive normal form Translations (Translations): kanoninen konjunktiivinen normaalimuoto (Finnish), kanonische konjunktive Normalform [feminine] (German), but see kanoniczna koniunkcyjna postać normalna [feminine] (Polish)

Inflected forms

{
  "forms": [
    {
      "form": "canonical conjunctive normal forms",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "canonical conjunctive normal form (plural canonical conjunctive normal forms)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "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": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "Conjunctive normal form with the additional property that all of the terms of the product contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "id": "en-canonical_conjunctive_normal_form-en-noun-HfcDQY4-",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "Conjunctive normal form",
          "conjunctive normal form"
        ],
        [
          "literal",
          "literal"
        ]
      ],
      "meronyms": [
        {
          "word": "maxterm"
        }
      ],
      "raw_glosses": [
        "(logic) Conjunctive normal form with the additional property that all of the terms of the product contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "related": [
        {
          "word": "canonical disjunctive normal form"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "code": "fi",
          "lang": "Finnish",
          "sense": "Translations",
          "word": "kanoninen konjunktiivinen normaalimuoto"
        },
        {
          "code": "de",
          "lang": "German",
          "sense": "Translations",
          "tags": [
            "feminine"
          ],
          "word": "kanonische konjunktive Normalform"
        },
        {
          "code": "pl",
          "lang": "Polish",
          "note": "no equivalent term in Polish",
          "sense": "Translations"
        },
        {
          "code": "pl",
          "lang": "Polish",
          "sense": "Translations",
          "tags": [
            "feminine"
          ],
          "word": "but see kanoniczna koniunkcyjna postać normalna"
        }
      ]
    }
  ],
  "word": "canonical conjunctive normal form"
}
{
  "forms": [
    {
      "form": "canonical conjunctive normal forms",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "canonical conjunctive normal form (plural canonical conjunctive normal forms)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "meronyms": [
    {
      "word": "maxterm"
    }
  ],
  "pos": "noun",
  "related": [
    {
      "word": "canonical disjunctive normal form"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Finnish translations",
        "Terms with German translations",
        "Terms with Polish translations",
        "Translation table header lacks gloss",
        "en:Logic"
      ],
      "glosses": [
        "Conjunctive normal form with the additional property that all of the terms of the product contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "Conjunctive normal form",
          "conjunctive normal form"
        ],
        [
          "literal",
          "literal"
        ]
      ],
      "raw_glosses": [
        "(logic) Conjunctive normal form with the additional property that all of the terms of the product contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "Translations",
      "word": "kanoninen konjunktiivinen normaalimuoto"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "Translations",
      "tags": [
        "feminine"
      ],
      "word": "kanonische konjunktive Normalform"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "note": "no equivalent term in Polish",
      "sense": "Translations"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "Translations",
      "tags": [
        "feminine"
      ],
      "word": "but see kanoniczna koniunkcyjna postać normalna"
    }
  ],
  "word": "canonical conjunctive normal form"
}

Download raw JSONL data for canonical conjunctive normal form meaning in All languages combined (1.9kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-12-15 from the enwiktionary dump dated 2024-12-04 using wiktextract (8a39820 and 4401a4c). 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.