cnf-formula:在输入文件中提供了cnf-formula,此程序将检查输入是否将验证公式