discrete math venn diagram solver - Search