# 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.