Можно ли логически доказать, что БП является основным/управляющим/поддерживающим?

 

Из статьи Robert B. Pojasek: "In creating process maps, you must be careful to distinguish between a main process (i.e., a core process that supports the mission of the organization and creates a product or service for the customer) and supporting processes (i.e., those that support the operation of the main process)".   То есть основные процессы участвуют напрямую в создании ценности для потребителя, а поддерживающие, собственно, поддерживают основные процессы, как и написано у Вас в комментариях к картинке. Управляющие процессы регламентируют процессы основные.   Не совсем ясно насчет того, чего Вы хотите добиться с помощью математики. И каким образом. Что-то вроде: А - процесс добавляет ценность продукту B - не добавляют ценности продукту напрямую тогда критерий того, что процесс основной С  С == A && !B   Как и в любых условностях получается не фонтан.