Venn diagrams and probability computations