The output columns of a truth table are similar to the following:
Each output column must be a Statemate element. Local elements, subroutine parameters, and subroutine global elements can be outputs when the truth table is a subroutine implementation body.
Entries in the cells of the output section can be:
●
●Empty entries in the output section indicate outputs that are not changed when the related row is executed. Unchanged items are not “written.”