Suvorov, V. (2003). Geometric interpretation of propositional formulas. Numerical Methods and Programming (Vychislitel’nye Metody I Programmirovanie), 4(4), 28–33. Retrieved from https://en.num-meth.ru/index.php/journal/article/view/111