A Bayes Network is a finite directed acyclic graph (DAG) with vertices representing variables , and a conditional probability table for each vertex. These tables define a joint probability distribution on the Boolean random variables given by the equation
Note
The set of parents of a node is given by .
Each variable is related to a proposition letter and can take the value either or .