From Verbal to ShapeValue Notation


The figure below shows two examples of how the internal code of the logic alphabet is used to represent the common binary connectives "and" and "or". The far left of the set of equivalences contain the representation is in verbal form. To the right of the first equivalent sign is given in terms of dotsquares. The next is lettershape (including the square truthtable). The representation to the far right is the standard infix notation using the logic alphabet. 

