Kanonisch konjunktive Normalform