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

Возможно, имелся в виду метод нисходящего проектирования алгоритмов, а не логических выражений.

Суть метода нисходящего проектирования заключается в разбиении большой задачи на меньшие подзадачи так, чтобы каждую из них можно было рассматривать независимо. eor.dgu.ru libeldoc.bsuir.by

Последовательность действий: eor.dgu.ru

1. На начальном шаге в соответствии с общими функциональными требованиями к программному средству разрабатывается его укрупнённая структура без детальной проработки отдельных частей. eor.dgu.ru
2. Затем выделяются функциональные требования более низкого уровня и в соответствии с ними разрабатываются отдельные компоненты программного средства, не детализированные на предыдущем шаге. eor.dgu.ru
3. Эти действия являются рекурсивными, то есть каждый из компонентов детализируется до тех пор, пока его составные части не будут окончательно уточнены. eor.dgu.ru
4. В последнем случае принимается решение о прекращении дальнейшего проектирования. eor.dgu.ru

На каждом шаге нисходящего проектирования делается оценка правильности вносимых уточнений в контексте правильности функционирования разрабатываемого программного средства в целом. eor.dgu.ru