Logic gates as Venn diagrams
jeffreythompson.org