Peircean graphs for propositional logic