Text this: Automatická syntéza bezhazardných logických kombinačných.