Normalformen, Synthese/Dekompositionsalgorithmus