Суворов, В. (2003). Геометрическая интерпретация пропозициональных формул. Вычислительные методы и программирование, 4(4), 28–33. извлечено от https://num-meth.ru/index.php/journal/article/view/111