From Murdocca & Huering Appendix A, pages 493-495,
problems A.3, A.6, A.8, A.10, A.12, A.13 and A.14.
The carry out from a full adder can be implemented directly from the
equation Co = M( a, b, cin ), where M is the majority function on 3
variables. It can alternatively be implemented using two half adders
and an OR gate as shown in class. Show that the logical expressions for
the carry out from the full adder are the same for the two
Write Boolean expressions for the borrow and difference outputs
from a full subtractor as shown on page 66 of Murdocca and Heuring.