Patent ID: 11922105
Assignee: KEPLER COMPUTING INC.
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 4:
5. The non-transitory machine-readable storage media of claim 4, wherein performing the activities comprises:
selecting a first output from the list of truth tables;
determining whether the first output or an inverted form of the first output is equal to:
one of inputs of truth tables in the list of truth tables,
a constant, or
an entry already in the list of uncorrelated truth table outputs; and
adding the first output to the list of uncorrelated truth table outputs if it is determined that the first output or the inverted form of the first output is not equal to:
the one of inputs of truth tables in the list of truth tables,
the constant, and
the entry already in the list of uncorrelated truth table outputs.