Task: Verify the Boolean expression (A + B).C = AC + BC by constructing it using basic logic gates in the generalized simulator.