Конфликт методов обеспечения, обозначаемый знаком молнии, читаем так: «С одной стороны, нужно (МЕТОД ОБЕСПЕЧЕНИЯ 1), а с другой — (МЕТОД ОБЕСПЕЧЕНИЯ 2)».
Формулировка исходных предположений
Ошибочные исходные предположения о логических связях являются источником конфликтов, выявляемых при помощи ДРК. Наша задача — перечислить все основные предположения и выявить среди них неверные, которые ответственны за возникшее напряжение в системе.
В ДРК предположения озвучиваются по стандартной схеме «Для того чтобы… мы должны» путем прибавления союза «потому что», например: «Для того чтобы сад был красивым (условие), мы должны засеять его газонной травой (метод обеспечения), потому что газон — обязательная составляющая удачного ландшафтного дизайна (предположение)».
Чаще всего существует несколько важных предположений, касающихся каждой логической связи между утверждениями в ДРК.