Sekirov Dictionary

clausifier

noun1

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

forms

clausifiers

This dictionary works without the internet: on your phone · in Chrome