p(a∪b)