vortex_expr::forms

Module cnf

Source

Functionsยง

cnf
Return an equivalent expression in Conjunctive Normal Form (CNF).