Abstract: This paper presents an active-learning methodology on Tseytin transformation designed for undergraduate and graduate students of logic synthesis and formal methods. In the first part, we ...