所以这个问题与存储不同命题模态公式的列表有关。我有能力删除重复,但我不知道如何找到不一致。例如:
初始列表:
[[('not', ('box', 'p')), ('box', 'p'), ('not', 'q'), ('q'), ('diamond', 'r')],
[('not', 'p'), 'q'], ['or', ('p', 'q')],
['not',('or', ('p', 'q'))],['r', 'q']]
上面的列表示例有一些问题,我只想找到它们并打印一条消息。对于示例,第一个列表有框p和否定框 p我希望它被检测到。它也有而不是q和q。你知道吗
类似地,第二个列表具有非(p或q)和(p或q)。有人能提出解决这个问题的办法吗?这可能很简单,但我似乎想不起来。你知道吗
理想情况下,是否可以将子列表标记为已关闭?也许分配状态已关闭?你知道吗
这就是我在问题中提出的问题的解决办法。工作正确,如果有人可以改善它或使它更短(或更快),请做你的主张后。你知道吗
相关问题 更多 >
编程相关推荐