بررسی محصول برای منطق صغري منطق وسطي