Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms

Danko Ilik

We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constr…