conjunctieve normaalvorm

Betekenis conjunctieve normaalvorm

De betekenis van conjunctieve normaalvorm is: "logische formule die volgens een aantal(9)standaardisatiestappen gemaakt is, zodanig dat een set van clauses ontstaat, waarvan iedere clause een disjunctie is van literals
".

Defenitie conjunctieve normaalvorm

De definitie van conjunctieve normaalvorm is: "logische formule die volgens een aantal(9)standaardisatiestappen gemaakt is, zodanig dat een set van clauses ontstaat, waarvan iedere clause een disjunctie is van literals
".