Логически път на правилото, английски на руски

Руски превод: логически клон на правилото; съвместен термин DNF правила

Локалната променлива на правилото запазва стойността си само в текущия логически път на текущото правило.

Логическа верига на правило?
Нещо, което не ми харесва в това. Правилото е логическата верига.
Логическият пасаж според правилото също някак не е прав.
Не знам как да го кажа по-добре

Обяснение:
В математиката това се нарича "съвместен термин".

Условие на правило е израз, изграден от елементарни изрази (равенства, неравенства и т.н.) и логически оператори И, ИЛИ, НЕ: например "АКО И И (b ИЛИ c) ТОГАВА x; y; z". За да се изчисли, тя се свежда до дизюнктивна нормална форма, т.е. са представени под формата на поредица от алтернативи, свързани от оператори ИЛИ, всяка от алтернативите, съдържащи само елементарни изрази и оператори И, НЕ: в дадения пример "АКО (а И б) ИЛИ (а И в) ТОГАВА x; y; z ". Тези алтернативи се наричат ​​конюнктивни термини в логиката. Всъщност такова правило може да бъде заменено с няколко правила, при които условията са получените термини (логически клонове), а заключенията са взети от първоначалното правило.

Значението на логическия клон във вашия случай е следното: при сравняване на условието на правило с набор от факти (истински предикати), обединяването на променливите на правилата се случва наново при сравняване на всеки термин. Ако съвпадението е успешно, дясната страна на правилото действа върху стойностите на променливите на правилото, намерени по време на съвпадението. Ако не, всички получени стойности се отхвърлят и се разглежда следващият клон.

По този начин може да се преведе по следния начин: "Локалната променлива на правило запазва стойността си само по време на изчисляването на текущия логически клон на текущото правило." Можете да кажете „съвместен термин“ вместо „логически клон“, виждал съм това в мрежата. В крайна сметка е полезно за тези, които четат такава литература, да знаят математическа логика поне в този том:)

Любопитното е, че в новата версия на дизайна на тази страница отговорът ми изглежда напълно различен от стария (някои фрагменти от текст се повтарят).:)

като (общо) правило por regla general; en general; normalmente
Se me ocurre esto, no se. Но само предполагам

само по правилния път на това правило

Обяснение:
дъга на логическа графика на правило

Графиката на логическия път е насочена графика, в която възлите представляват индивидуално
правила и ръбовете се определят от логически пътеки през основата на правилата. .