Q$.2$ Let $N$ be a nonredundant logic circuit that realizes the following Boolean function: $z=(x1+x^{\text{'}}2)(x1+x^{\text{'}}2x^{\text{'}}3+x4x5{)}^{\text{'}}+x1(x2+x45).$ Use the Boolean difference to find all test vectors that detect the SSL fault $x1$ stuck$-$at$-1$ in N$.[$CO$1]$