5 ms·Yes, that's right. 3SAT uses conjunctive normal form.by garethrees 10y agoYes, that's right. 3SAT uses conjunctive normal form.