Tseitin transformation of propositional logic formulas

Type formulas. Use shortcuts like \and, \or, \neg, \to, \iff.

🌙
Shortcuts: \and => ∧, \or => ∨, \neg => ¬, \to => →, \iff => ↔
AST Tree
Tseitin CNF Output
(waiting for formula...)