./\ .\/ /\ \/ cnf dist filterTauts flatten flattenAnd flattenOr isTaut nnf no nubB nv toCNF va xor
./\
.\/
/\
\/
cnf
dist
filterTauts
flatten
flattenAnd
flattenOr
isTaut
nnf
no
nubB
nv
toCNF
va
xor