Autoterm Merging

Supplanting the CNF grid function.

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

If someone needs a few extra terms for a tricky logical expression, they don't need to revise the grid function and force everyone to use the new grid. Instead they can prefix the new label with their name (to avoid namespace collisions) and plow onward.

Mail: (not shown)

Please type this: