Suvorov, V.V. 2003. “Geometric Interpretation of Propositional Formulas”. Numerical Methods and Programming (Vychislitel’nye Metody I Programmirovanie) 4 (4):28-33. https://en.num-meth.ru/index.php/journal/article/view/111.