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

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