文件名称：逻辑可满足性：用ONP（逆波兰表示法）编写的逻辑公式的可满足性
文件大小：6KB
文件格式：ZIP
更新时间：2024-03-05 14:42:36
Python
逻辑可满足性 更多关于可满足写入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” 使用X，Y，Z表示变量 可用的逻辑表达式：EXISTS，∀，FORALL，∃，AND，OR，XOR，IMPLIES，⊕， :left-right_arrow: ，IFF，→，∨，∧，＆，| | 声明常量，使用空格“”将其拆分 测试用例 为了更好地理解输入，我为您提供了以下示例测试用例： ABC p / 3 B p / 1
【文件预览】：
Logic-satisfiability-main
----Beta_rule.py(9KB)
----Delta_rule.py(2KB)
----rules_connector.py(2KB)
----Gamma_rule.py(3KB)
----Alpha_rule.py(9KB)
----README.md(2KB)