quine-resolver A resolver for propositional logic schemata/well-formed formulas using Quine’s method of truth value analysis.