clausifier

English edit

Noun edit

clausifier (plural clausifiers)

(logic) A method, algorithm or program that converts logic statements into standard clauses.

Retrieved from "https://en.wiktionary.org/w/index.php?title=clausifier&oldid=60194056"