Comparing Boolean Expressions of Constant Relations
Original Publication Date: 1989-Feb-01
Included in the Prior Art Database: 2005-Jan-27
A technique is described whereby two Boolean expressions of constant relations are compared for their logical relationship to one another. The concept is a generalization over previous methods of comparing propositional Boolean expressions. Described is a method which systematically computes and encodes the comparisons as a four-bit quantity. The Boolean expressions of constant relations involved herein are the type that are connected normally with ANDs, ORs, NOTs and parentheses. The constant relations are of the form NRC, where N is the symbolic name, R is any of the normal arithmetic relations, such as <, &, =, /, /, and >, and C is a constant number.