We represent logical formulas using graphs, since this is a general formalism that is easy to visualize and analyze.
this work was supported by JSt CRESt Grant Number JPMJCR1301 and AIP Challenge Program, Japan.