Suvorov, V. Geometric Interpretation of Propositional Formulas. Num. Meth. Prog. 2003, 4, 28-33.