A novel framework for systematic propositional formula simplification based on existential graphs

Jordina Francès de Mas, Juliana Bowles

This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be ap…