Assoc. Prof. Dr. Georg Moser   

BoolTool

BoolTool is a web-interfaced based tool for manipulation and transformation of formulas in propositional logic. The tool supports different representations of Boolean functions and a variety of different algorithms.