Text this: Probabilistic representation and manipulation of Boolean functions using free Boolean diagrams