Sets
Simple text and illustrations introduce the concept of sets.

more details ...

Set Equation Transformation System.

Symbolic manipulation of Boolean equations. "Efficient Ordering of Set Expressions for Symbolic Expansion", R.G. Worrell et al, J ACM 20(3):482-488 (Jul 1973).