Discrete Math. and Logic II. Normal Forms