|
Matematicheskie Zametki, 1969, Volume 6, Issue 6, Pages 663–668
(Mi mzm6975)
|
|
|
|
On directed transformations of formulas
Yu. I. Yanov Applied Mathematics Institute, Academy of Sciences of the USSR
Abstract:
This studies the question of the existence of bases of systems of equalities for the unrestricted algebras employed in the problem of the minimization of terms. It is shown that for any algebra there exists a basic system of equalities with the aid of which any term can be monotonically minimized with respect to depth.
Received: 20.01.1969
Citation:
Yu. I. Yanov, “On directed transformations of formulas”, Mat. Zametki, 6:6 (1969), 663–668; Math. Notes, 6:6 (1969), 862–865
Linking options:
https://www.mathnet.ru/eng/mzm6975 https://www.mathnet.ru/eng/mzm/v6/i6/p663
|
|