Utility for managing theorems of propositional logic