A system for determining propositional logic theorems by applying values and rules to triplets that are generated from a formula (1989)

by G Stålmarck
Venue:Swedish Patent 467 076 (approved 1992); US Patent 5 276 897 (approved 1994); European Patent 0 403 454 (approved