بررسی محصول برای منطق موجهات