Probability of output state of a circuit

Given any circuit we might need to find the probability of the output
being high or low. This is a very common problem in determining the
dynamic power , in order to predict the probability of switching at
the output of any gate. I was under the impression that this can be
done by using the characterictic equation of the circuit.

For example , an AND gate has Y= A.B. Lets say the probability of '1'
for each of the inputs is 0.5. This means that the probability of '0'
for these inputs is also 0.5.Now if we want to calculate the
'probability of the output of this AND gate being '0' , we cannot
claim it to be 'P(A=0) x P(B=0).
However it can be P(A=0) + P(B=0/A=1) = 0.5 + 0.25 = 0.75.

I was thinking of a scalable/repeatable model ,i.e since any function
can be written in terms of SOP :
(i) Calculate probability of the output of n-input AND gates if we
know the dependence of the input signals.
(ii) Calculate probability of the output of n-input OR gates if we
know the dependence of the input signals.