tseytin_transformation (221B)
1 # Tseytin transformation 2 3 https://en.wikipedia.org/wiki/Tseytin_transformation 4 5 Transform a [Boolean_circuit] into [equisatisfiable] [CNF], by adding some additional [variables] 6 7 Up: [circuit] 8 9 Aliases: Tseytin transform