1. Simplification of Expressions and Logic Circuit Analysis - si-manual