I learned about Euler diagram just this week. It brought me some thoughts about boolean algebra when I saw this figure. Given an Euler diagram representation, it is possible to establish a interconnection graph between min-terms (the modern term for each diagram region). I do not know how to do it. Can you?
PS.: I also remembered of the 4 color theorem, but firstly we should have its graph representation...