Principles of Computer Architecture Appendix A: Digital Logic