逻辑可满足性 更多关于可满足写入ONP（逆波兰表示法）逻辑式的满足性有关此示例中使用的Metoda表格semantycznych（语义表方法）的更多信息，请 技术领域 语言：Python 3.6 库：复制 发射 将所有文件放在一个文件夹中 运行rules_connector.py文件 输入您要检查其满意度的公式 使用大写字母 必须以（后缀符号）输入公式 使用A，B，C，D，E，F作为常量 使用p，q作为谓词。 p / 1用于带有1个参数的谓词“ p”。 q / 3是一个带有3个参数的谓词“ q”