Abstract:
This paper deals with the problem of equivalence of predicate logic formulas, used for description of geometric objects, constructed from a given set of basic figures by set-theoretic operations $\cap,\cup,\overline{\phantom{a}}$. A finite complete system of identities is obtained for a finite basis in the class of the above formulas with finite number of variables.
Fulltext:
PDF file (328 kB)