CNF representations

The header <kitty/cnf.hpp> implements methods to compute conjunctive normal forms (CNF).

Function	Description
cnf_characteristic(tt)	Create CNF of the characteristic function.