В чем заключается метод разложения логического выражения при автоматизации проверок кода?

Метод разложения логического выражения при автоматизации проверок кода заключается в приведении его в более удобную для анализа форму. core.ac.uk

Например, для этого можно использовать методику И-ИЛИ дерева, когда сложные логические выражения оформляются в виде дерева, нетерминальные узлы которого представляют собой группы (последовательности) одинаковых логических операций И или ИЛИ, а терминальные — остальные логические выражения. infostart.ru