Reduce is a logic engineering tool used to reduce two or more simple or complex rules into one complex rule. All the previous logic functions ignore the action rule entries in a table, which are execution-order priority numbers that connect an action to a rule. This is not the case with the logic Reduce function which acts to unite two rules into one single rule of greater complexity. The unification proceeds when the following criteria are met:
The two candidate rules have the same action entry (entries)
The two candidate rules have identical condition-row entries except for the entries on one of the condition rows.
If a pair of such rules exists, the Reduce function merges them into one single rule which is identical to them except on the condition-row where they differ. On this row the entry of the product rule is a dash, "-". Our sample logic table shows two rules that are candidates for reduction, Rules 3 and 4. Both criteria for reduction are satisfied: both rules have the same action entry: A2, and the rules differ only by the condition entries in C1. After using the Reduce function we get our original sample table with a complex Rule 3. After using Reduce, the Completion Ratio should remain unchanged. You may find that the Reduce tool does not reduce tables that are ambiguous. Please make sure your table is not ambiguous before using Reduce.