Automatically creating a component to rapidly evaluate logical expressions

摘要

Methods and systems capable of creating a component for determining which subset of a set of logical expressions are true with relatively few evaluations of the primitives that, together with any standard logical connectives, make up the logical expressions.