| Function | Action |
| Ambiguity Check | A logic engineering tool used to determine whether a reduced table has contradictory and/or redundancy errors. |
| Disambiguate | A logic engineering tool used to determine whether a table has ambiguous rules and then proceeds to disambiguate the rules. |
| Expand | A logic engineering tool used to create the simple rules to represent all possible true/false combinations of conditions in the table. |
| Missing | A logic engineering tool used to indicate whether any rules are missing and adds the rules to complete the table. |
| One Rule at a Time | Similar to the Missing logic engineering tool, but enters only one rule at a time if one or more are missing. |
| Reduce | A logic engineering tool used to reduce two or more simple or complex rules into one complex rule when certain criteria are met. |