Эта формула ещё называется Теорема сложения для совместных событий... smile.gif