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