Report copyright - Cliquewidth and Knowledge Compilation · Conjunctive Normal Form (CNF) Disjunctive Normal Form (DNF) DNF representation: W Y2T (V ijyi=1 xi V jjyj=0:xj) where T is a set of solutions
Please pass captcha verification before submit form