The Quantified Boolean Bayesian Network: Theory and Experiments with a Logical Graphical Model