venn diagram formulas with examples