Hva er forskjellen mellom CNF og DNF?
Klikk for å snu kortet
CNF (konjunktiv normalform): en konjunksjon (AND) av klausuler, hver klausul en disjunksjon (OR) av literaler, f.eks. . DNF (disjunktiv normalform): en disjunksjon (OR) av termer, hver term en konjunksjon (AND) av literaler, f.eks. .
Space / Enter for å snu