TeX source:

O(A)=O(A:\neg A)=P(A)/(1-P(A))