Python - 将列表数据类型输出为 CNF

Question

我有一个列表:

KB = [['~p', '~r', 's'], ['~r', 'k'], ['~k', 'm'], ['r'], ['~m'], ['~p', 'r']]

我需要输出到 CNF 格式的文件('output.txt')，如下所示:

~p|~r|s
~r|k
~k|m
r
~m
~p|r

那我现在应该做什么？

Answer 1

BearBrown 的评论涵盖了问题的最重要部分。我正在适应它，展示如何根据需要加入管道(“|”)后写入文件。

KB = [['~p', '~r', 's'], ['~r', 'k'], ['~k', 'm'], ['r'], ['~m'], ['~p', 'r']]

p = ["|".join(x) for x in KB]

with open('output.txt') as o:
    for item in p:
        o.write('%s\n' % item)