منطق متعدد الفرز