Lecture 9

Truth tables define Boolean functions. Alternatively, we can use Boolean expressions to define Boolean functions, or even circuits, that are build from gates.

In this lecture, we will define what Boolean expressions, functions and circuits are, and we will argue that they are all equivalent.

Code: booleans.sml.

Reading: Invitation to Computer Science Chapter 4.