Ciao all, Is there a generic algorithm to compile the probability P(A) of any propositional formula A (provided that we have only the probability of each atoms constituting A)? For example, we have that A= a1 and not (a2 and a3 and ( not a4 and not a5 and not a6 ..) , or any other complicated formula. The an are independant here!!!! I know pr(a1), pr(a2)... and so on... Is there an algorithm to compute pr(a1 and not (a2 and a3 and ( not a4 and not a5 and not a6 ..) ) ?????