System for determining propositional logic theorems by applying

Details System for determining propositional logic theorems by applying System for determining propositional logic theorems by applying

1990-06-14

1994-01-04

Harrell, Robert B.

Boots, shoes, and leggings

3642217, 364DIG1, G06F 1520, G06F 1100

Patent

active

052768970

ABSTRACT:
The invention relates to a method and apparatus for theorem checking with the intention in so-called tautology checks of establishing whether or not all possible attributions of the truth values (0 and 1) to variables in a boolean formula render the formula true. The problem of known techniques is that checking of the truth content is effected against all variables in an original formula, which requires many calculations to be made and which is highly time-consuming.
According to the invention, an original formula is divided into part-expressions, so-called triplets, each corresponding to a sub-formula of the original formula, whereafter logic 0's and 1's are instantiated (allotted) to variables in the triplets for the purpose of checking the truth content. The check is thus made against triplets instead of against all variables in the original formula, therewith greatly reducing the number of calculations necessary and providing a considerable saving in time. Apparatus, called a theorem checker, for carrying out the method includes a sequence unit for controlling the calculation sequence, a generator G for generating sequences of ordered variables, a permanent unit P for storing triplets, a plurality of arithmetical units, evaluators (E) and an analyzer A operative to analyze the result obtain from all calculations.

REFERENCES:
patent: 4504236 (1985-03-01), Zellweger
patent: 4698751 (1987-10-01), Parvin
A higher-order implementation of rewriting, Paulson, L. Science of Computer programming vol. 3, No. 2, pp. 119-149, Aug. 1983.

Affiliated with

Also associated with

Rating

System for determining propositional logic theorems by applying does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System for determining propositional logic theorems by applying , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for determining propositional logic theorems by applying will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-316124