حل أعدد أنواع التوحيد