所以这个问题与存储不同命题模态公式的列表列表有关。我有能力消除重复,但我不知道如何找到不一致的地方。例如:
列表的初始列表:
[[('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)。有人能为这个问题提出解决方案吗?这可能很简单,但我似乎想不出来
理想情况下,是否可以将子列表标记为关闭?也许分配关闭状态?
这是我在问题中提出的问题的解决方案。工作正确,如果有人可以改进或缩短(或更快),请务必发布您的建议。
def inconsistent(psi):
for i in range(0,len(psi)):
for j in range(0,len(psi[i])):
main = psi[i]
form = psi[i][j]
if form[0] == 'not':
notform = form[1]
if form and notform in main:
print "inconsistent: ", psi[i][j]
else:
notform = ('not', psi[i][j])
if form and notform in main:
print "inconsistent: ", psi[i][j]
else:
print "consistent: ", psi[i][j]
test = [[('not', ('box', 'p')), ('box', 'p'), ('not', 'q'), ('q'), ('diamond', 'r')], [('or', ('p', 'q')),('not',('or',('p','q')))],['not',('or', ('p', 'q'))],['r', 'q']]
inconsistent(test);