This document discusses Boolean logic and multiplexers. It includes:
1. Tables verifying Boolean logic laws like commutative, associative, distributive laws and their logic expressions.
2. Explanations of 2:1, 4:1, 8:1 and 16:1 multiplexers with their truth tables and logic diagrams. Multiplexers select one input out of multiple inputs based on the select line values.
3. K-map simplification rules for minimizing logic expressions and examples of K-maps.