This article is cited 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’’.

UDC: 519.7