Functions, Operators, Switch Cases and Truth Tables : Truth Tables : Row Execution

Row Execution

Rational Statemate evaluates a truth table as follows:

The order of execution is from left to right—first outputs, then actions. This is relevant only for truth tables that implement procedures.
If the table does not contain a default row and no row fires during the evaluation of the table, a warning message is displayed during simulation and no output elements are changed.