V. Suvorov, “Geometric interpretation of propositional formulas”, Num. Meth. Prog., vol. 4, no. 4, pp. 28–33, Dec. 2003.