Одноетапна М-модель з імовірнісними обмеженнями. Розв’язувальні правила. Узагальнення для скінченнозначних обмежень (без доведення).