Так, плотно сел за теорвер. Много кроется в сути событий на самом деле.
События нахождения блоков пулами - несовместные, независимые.
Такие образуют полную группу событий, тоесть P(1)+P(2)+P(3)+P(4) = 1.
Пул4 это у нас пул с 40 % мощностей.

Так как три первых события независимы и несовместны, то их вероятность будет 20 + 20 + 20 = 60 % или 0.6
Это самая основная теорема теорвера. Несовместные события мы просто суммируем.

А вот совместные, тоесть те, которые могут проявиться вместе мы как раз таки добавляем без учета их общего исхода. И как раз таки совместными событиями являются события группы НЕ (тоесть, противоположные нахождению блоков). Они будут суммироваться по моей формуле приведенной в прошлом посте.

Все же я оказался прав, ваша формула которую вы применили - неправильная конкретно для данных событий.