Abstract

A new graphical representation/model of Boolean logic is presented. We use horizontal and vertical lines to represent the logical constants, serial and parallel circuits for conjunction and disjunction. For negation of a (sub)formula, we use a turn of the circuit by \(\frac{\pi}{2}\). A web-based system that is built on the model is also presented.