Суворов, В. Геометрическая интерпретация пропозициональных формул. Num. Meth. Prog. 2003, 4, 28-33.