Next / Previous / Contents / Shipman's homepage

2. Structuring truth tables

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

2.1. Simple truth tables

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”.

ABA ∧ B
FFF
FTF
TFF
TTT