CNF representationsΒΆ
The header <kitty/cnf.hpp>
implements methods to compute conjunctive normal
forms (CNF).
Function
|
Description
|
---|---|
Create CNF of the characteristic function.
|
The header <kitty/cnf.hpp>
implements methods to compute conjunctive normal
forms (CNF).
Function
|
Description
|
---|---|
Create CNF of the characteristic function.
|