Task: Build and verify Y = A'. (A.B + A') using minimum number of gates.