Reconfigurable Hardware Implementation of a Multivariate Polynomial Interpolation Algorithm

Figure 10

Illustration of a step in the conversion of CNF (𝑥₁∨𝑥₂∨𝑥₃)∧(𝑥₁∨𝑥₄)∧(𝑥₃∨𝑥₅)∧(𝑥₁∨𝑥₂) to DNF. The first two conjunctions have been computed and their redundant terms eliminated and stored in the Preliminary Results FIFO.