|
Prikladnaya Diskretnaya Matematika, 2009, supplement № 1, Pages 12–13
(Mi pdm68)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Theoretical Foundations of Applied Discrete Mathematics
About tseitin's transformation in logical equations
A. A. Semenov
Abstract:
The report is supposed to touch upon a number of theoretical and applied issues of propositional logic. The issues share the common methodology which includes in its basis rather easy conversions of logical equations. Today science calls this kind of conversions ‘`Tseitin’s transformation’’.
Citation:
A. A. Semenov, “About tseitin's transformation in logical equations”, Prikl. Diskr. Mat., 2009, supplement № 1, 12–13
Linking options:
https://www.mathnet.ru/eng/pdm68 https://www.mathnet.ru/eng/pdm/y2009/i10/p12
|
Statistics & downloads: |
Abstract page: | 279 | Full-text PDF : | 93 | References: | 66 |
|