A method for automatically determining the probabilities associated with a Boolean function.

摘要

The invention relates to a method that automatically calculates, in an exact manner, the probabilities associated with a Boolean function. BR/ According to the invention, the probability of an event represented by a Boolean function (f) is determined by constituting the binary decision diagram of this function and by performing recursive paths through this diagram. / P