Question

Definition: A maximal 3CNF formula is satisfiable 3CNF formula, but if you conjuct it with another any new different 3 disjuctive literals clause, then the formula becomes unsatisfiable.

Please don't confuse with the definition of minimal 3CNF formula from my previous question What is the set of all minimal 3CNF formulas

This is not the same thing!

But my question about minimal 3CNF formulas in the above link is same for maximal 3CNF formulas here, i.e.

For some natural number n, where n is the number of atomic variables, what is the set of all maximal 3CNF formulas? Is it finite? If it is then what is it's cardinality, i.e. how many different maximal 3CNF formulas is possible?

Note that for k-cnf formula n≥k, so in 3CNF formula n≥3.

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top