Verwechslungsgefahr: Die Abkürzung KNF wird verbreitet verwendet für Konjunktive Normalform (und KKNF für kanonische, konjunktive Normalform)
