PROCESS FOR THE AUTOMATIC DETERMINATION OF PROBABILITIES ASSOCIATED WITH A BOOLEAN FUNCTION

摘要

Process for the automatic and precise calculation of probabilities associated with a boolean function. According to the invention, the probability of an event represented by a boolean function (f) is determined by creating a binary decision pattern of said function and by recursively traversing said pattern.