Geometric interpretation of propositional formulas" . V.V. Suvorov . We consider a method for logical analysis based on geometric interpretation of propositional formulas. A logical formula is represented as a unit hypercube in an orthogonal basis of dimension equal to the locality of the formula. It is shown that the analysis of cube intersections in accordance with simple visual criteria allows one to formulate logical axioms. ... PostScript (in Russian) (297KB) . ...