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