// Parry, A New Symbolism for the Propositional Calculus. JSL: V.19, #3, Sept. 1954 // Standley, Ideographic Computation in the Propositional Calculus. JSL: V.19, #3, Sept. 1954 / trapezoids T:"\\/_ " B:,'0 3^/~" "=(" \\_ ";" _/";"___\\_/";" ") / variables, translation, objects, representation, eval v::?"&|>=~()"_x t::(`$'x)!o[x]'x o::$[1=#x;*B;2=#x;B x?y;|/y=k:-1_x;,/2#,o[k]y;,/(*/(-3+#x)#2)#'B 2 3] r::$[`B=@*x;(T[3 2][x 0];T[3 0][x[1;0]],T[3 2][x[1;1]],T[3 1][x[1;2]]);,'/r'x] z::r t[v x]x / examples z"~(p|~r)>(~p>q)=p&~q=r" z"~q=r" z"p|~p" z"~p|~p" z"(p&q)|(p&~r)|(~p&r)|(~p&s)|((~q)&r)|((~r)&~s)" \ ___ /\_ \ / ___ \_/ ____________ \_/\_/\_/\_/