Power Term Polynomial Algebra for Boolean Logic

Emanuele Sansone, Armando Solar-Lezama

We introduce power term polynomial algebra, a representation language for Boolean formulae designed to bridge conjunctive normal form (CNF) and algebraic normal form (ANF). The lan…