N-Queens-Problem-with-propositional-logic ask for input **display backtracking results with finalized CNF answer for propositional logic and tautology