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