Procedure for automatically determining the probabilities associated to a booleen function.

摘要

The invention relates to a procedure which allows automatic and exact calculation of the probabilities associated with a Boolean function. According to the invention, the probability of an event represented by a Boolean function (f) is determined by constructing the binary decision chart of this function and by making recursive journeys through this chart.