vortex_expr::forms

Module nnf

Source

Functionsยง

nnf
Return an equivalent expression in Negative Normal Form (NNF).