This section has moved to 2-3-constructing-truth-tables.