| 摘要 |
Various systems, methods, and computing units are provided for reduced cost evaluation of Boolean expressions. In one representative embodiment, a method includes: determining a first modified cost measure for a node of a binary tree, the first modified cost measure comprising M cost values, the node in an original condition; pivoting the node; determining a second modified cost measure for the node in a pivoted condition, the second modified cost measure comprising M cost values; and determining a preferred node condition responsive to a comparison of the first and second cost measures.
|
