Studies of Euler diagrams/formula trees


symbolic colors
actual truth values