Disambiguate is a logic engineering tool used to determine whether a table has ambiguous rules and then proceeds to disambiguate the rules. A pair of ambiguous rules is disambiguated into one unique rule by removing the rule with the lower column count number. The column count of a complex rule is by definition the number of simple rules that it contains. By throwing away the rule with the lower count the Disambiguate function tries to retain as much information as possible about the original table. Sometimes the lower count rule in an ambiguous pair is completely contained in the other higher-count rule. In this case, no information is lost by deleting the former.
To demonstrate this, let's consider our sample logic table with Rule 4's C1 set to dash instead of "n" as we've seen before. This table now has ambiguous rules as result of our change. Notice that the Completion Ratio is 8:10, indicating that too many rules have been accounted for. We can use the Disambiguate function to address the logic problem. The tool correctly finds the two ambiguous rules: Rule 1 and Rule 4 and applies the column count rule. The column count for Rule 1 is 2 and for Rule 4 the column count is 4. This means LogicGem will throw out Rule 1. The process yields a logically complete decision table, but unfortunately action A1 is never referenced. In such cases, the logic engineer must go back to analyze the table to make sure all conditions and actions are being considered properly. The Disambiguate function, in this case, allows us to take a step in the right direction.