Skip to main content

Chapter 2 Logic

The previous chapter used words like ‘and’ and ‘or’ and required deciding what is true. This chapter presents a formal approach to these topics and ends by applying it to program and circuit logic.