Werbung
 Übersetzung für 'KNF' von Deutsch nach Englisch
comp.
head normal form <HNF>
Kopfnormalform {f} <KNF>
canonical normal form <CNF>kanonische Normalform {f} <KNF>
comp.math.
conjunctive normal form <CNF>
konjunktive Normalform {f} <KNF>
3 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Deutsch
  • Die zuständige Aufsichtsbehörde KNF erteilte ihre Zustimmung im Februar 2015.
  • Als ein Unternehmen im Bereich Industrie ist KNF Neuberger, ein Hersteller von Membranpumpen, erwähnenswert.
  • Eine Formel in Negationsnormalform kann in die konjunktive (KNF) oder disjunktive Normalform (DNF) gebracht werden, indem man die Distributivgesetze anwendet.
  • Am Ende wird diese Transformation auf allen Konjunkten angewandt und die resultierende KNF ist erfüllbarkeitsäquivalent zur Ausgangsformel und hat im Allgemeinen weniger Klauseln.
  • Die "Indigenous People's Revolutionary Alliance" (IPRA) sollte 2001 fünf ethnische Zo-Gruppen vereinigen: Zomi Reunification Organisation (ZRO), zwei Fraktionen der Kuki National Front, nämlich KNF-P und KNF-MC, die Kuki National Army (KNA) und HPC-D.

  • KNF Helsinki änderte seinen Namen erst in PPF und dann in United Helsinki.
  • Die Klauselform oder Klauselnormalform beschreibt in der Logik eine Formel in konjunktiver Normalform (KNF), bei der die Konjunktionen jeweils in Mengenschreibweise zusammengefasst wurden.
  • Ausdrücke in konjunktiver Normalform (KNF) lassen sich jedoch ohne weiteres über die Verneinung der betrachteten Funktion zunächst in eine DNF umwandeln, dann wie unten beschrieben minimieren und schließlich durch erneute Verneinung in eine KNF zurücktransformieren.
  • Als gruppeninterne Dienstleister fungieren KNF Global Strategies AG und KNF DAC GmbH.
  • 1996 wurde ihm der KNF-Circle of dutch film critics award in Rotterdam verliehen.

  • Alternativ können beide Formeln auch in kanonische Normalformen KNF(...) und KNF(...) transformiert werden; beide Formeln sind äquivalent genau dann, wenn KNF(...) = KNF(...).
  • Zu jeder Formel in m-KNF, d. h. der Form [...] mit [...] also höchstens [...] Literalen pro Disjunktion, kann in Polynomialzeit eine erfüllbarkeitsäquivalente Formel in 3-KNF konstruiert werden.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!