Let F be a formula in CNF with n variables and m clauses. Show how to construct from F (in polynomial time) an NFA N with mn + 2 states such that the language of N is exactly the assignments that falsify F. Using this, show that a polynomial-time algorithm for minimizing NFAs implies P NP. Show transcribed image text Let F be a formula in CNF with n variables
OR
OR