نموذج ذو قيمة منطقية