Konjunktive Normalform

Als konjunktive Normalform (kurz KNF, englisch CNF für conjunctive normal form) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne