Prove that xy$\text{'}+$x$\text{'}$y$=($x$+$y$)($x$\text{'}$y$\text{'})$ by boolean algebra identities, which was used in the half$-$adder process