This document summarizes logic circuit design and analysis for Group 3. It includes verification of inputs and outputs, creation of truth tables, simplification using K-maps, and Boolean algebra. Truth tables are shown for the logic functions F1, F2, and F3 in terms of the inputs A, B, and C. F1, F2, and F3 are then expressed as simplified Boolean expressions.