Browse Prior Art Database

Comparing Boolean Expressions of Constant Relations Disclosure Number: IPCOM000034354D
Original Publication Date: 1989-Feb-01
Included in the Prior Art Database: 2005-Jan-27

Publishing Venue


Related People

Kruskal, V [+details]


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.