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

by G Stalmarck
Venue:US Patent N