Introduction

The logic processing functions available from the Logic menu are the components that make LogicGem unique in the professional tools arena for software developers. These functions provide the means to verify the structural logic of a decision table. These functions identify and correct rules that are redundant, contradictory or ambiguous. Furthermore, these functions serve to create, analyze and massage a logic table to perfection. Table 6 below summarizes the logic functions which are found in the Logic menu and can be applied to any active Worksheet.
 
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.