clausifier

Noun

Meaning

clausifier (plural clausifiers)

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

Close letter words and terms