Module nnf

Source

Functionsยง

is_nnf
Verifies whether the expression is in Negative Normal Form (NNF).
nnf
Return an equivalent expression in Negative Normal Form (NNF).