## 2. Structuring truth tables

Before we discuss the application to Cleanroom verification,
some definitions are in order.

A *simple truth table* describes
a Boolean function in terms of every possible combination
of inputs. For example, here is the truth table for
Boolean “and”.