The section of the AAC ebook introducing Karnaugh mapping talks about Venn diagrams, but many of the diagrams are actually just Euler diagrams. Venn diagrams contain all (2^n) of the combinations of the involved sets. Euler diagrams are more general, containing arbitrary set intersections, and are actually what is used in many of the diagrams in that section of the book.