Patent ID: 7360066

Claim:
A processor, comprising: a Boolean logic unit formed in a static circuit with a static data path, wherein the Boolean logic unit is operated for dynamically performing the short-circuit evaluation of a Conjunctive Normal Form Boolean expressions/operations in an instruction store without further compilation or optimization of the expression by the Boolean Logic Unit; a plurality of input/output interfaces, wherein the plurality of input/output interfaces are operated for receiving a plurality of compiled Boolean expressions/operations and transmitting a plurality of compiled results; and a plurality of registers, wherein the plurality of registers includes: a first register for storing the outcome of the most recently evaluated intra-conjunct term, a second register for storing the outcome of the most recently evaluated conjunct, an instruction register, a next operation address register, and an end of OR address register, wherein the short-circuit evaluation comprises halting the evaluation of at least a portion of the Conjunctive Normal Form expression/operation if the outcome of the portion becomes known based on an outcome of an evaluation of a prior portion of the Conjunctive Normal Form expression/operation by the Boolean Logic Unit, wherein the value of the outcome of the prior portion is maintained by the first and second registers, and wherein the value of the first register will change to a value other than its default value during an intra-conjunct short-circuit operation and force the immediate evaluation of the next conjunct within the current Cognitive Normal Form expression/operation and forego the evaluation of the remaining terms of the current conjunct if remaining terms exist and the value of the second register will change to a value other than its default value during an inter-conjunct short-circuit operation and forego the evaluation of the remaining portion of the current expression and force the immediate evaluation of the next Conjunctive Normal Form expression to be evaluated if any remaining Conjunctive Normal Form expressions exist within the instruction store.