Describir: Automatická syntéza logických kombinačných obvodov s dekódermi 1. = Automatic synthesis of logical combination circuits with decoders 1. :