Schematizing Proofs Based on Flow of Truth Values in Logic

The sentential (formal) representation of logic formulas has been described as "unreadable," and this contributes to its unpopularity as a design language. Currently, many researchers have proposed logic diagrams, especially as logical reasoning representations. This paper introduces a new method of diagrammatic representation of logical formulas that facilitates understanding of system behaviors with possible dynamic animation of propagation of truth values in proofs.