List questions from conjunctive-normal-form | MathQA

Why doesn't Krom's method apply to solving the 3SAT in polynomial time?

Published on 17 Feb 2022 - 12:03

I'm studying boolean algebra in the discrete mathematics

Published on 25 Mar 2026 - 20:09

Is there a method to solve 3SAT problems using loss function?

Published on 07 Apr 2022 - 12:59

At most $k$ contiguous $\mbox{true}$ values in a Boolean array using SAT

Published on 23 Feb 2026 - 22:18

Duality in Disjunctive Normal Form and Conjunctive Normal Form

Published on 25 Mar 2026 - 20:08

Prove 20-3-SAT is NP-Complete

Published on 10 Aug 2022 - 14:05

How to convert this CNF to a DNF?

Published on 25 Mar 2026 - 20:09

How to define disjunctive normal form and conjunctive normal form?

Published on 25 Mar 2026 - 20:08

Any proposition is equivalent to a formula in CNF.

Published on 28 Oct 2022 - 20:15

CNF form of the logical $exactly(2) x_{i}$

Published on 17 Dec 2022 - 19:52