python - 扩展逻辑语句(相乘)

Question

我正在寻找一种方法来扩展以下形式的逻辑表达式(在字符串中):

“(A或B)和((C和D)或E)”

在Python中生成所有正集的列表，即

['A and C and D',
'A and E',
'B and C and D',
'B and E']

但我一直无法找到如何做到这一点。我已经调查了 pyparser，但我无法弄清楚哪个示例与本例相关。通过某种逻辑操作，这可能非常容易，但我不知道任何形式逻辑。任何帮助或对可能有帮助的资源的引用将不胜感激。

Answer 1

这是 pyparsing 位，取自示例 SimpleBool.py 。首先，使用 infixNotation(以前称为 operatorPrecedence)定义支持括号分组并识别运算优先级的表达式语法:

from pyparsing import *

term = Word(alphas)

AND = Keyword("and")
OR = Keyword("or")

expr = infixNotation(term,
    [
    (AND, 2, opAssoc.LEFT),
    (OR, 2, opAssoc.LEFT),
    ])

sample = '(A or B) and ((C and D) or E)'

result = expr.parseString(sample)

from pprint import pprint
pprint(result.asList())

打印:

[[['A', 'or', 'B'], 'and', [['C', 'and', 'D'], 'or', 'E']]]

从中我们可以看出，该表达式至少被正确解析了。

接下来，我们将解析操作添加到操作层次结构的每个级别。对于这里的解析操作，我们实际上传递类，这样解析器将调用类构造函数和初始化程序并返回特定子表达式的类实例，而不是执行函数并返回一些值:

class Operation(object):
    def __init__(self, tokens):
        self._tokens = tokens[0]
        self.assign()

    def assign(self):
        """
        function to copy tokens to object attributes
        """

    def __repr__(self):
        return self.__class__.__name__ + ":" + repr(self.__dict__)
    __str__ = __repr__

class BinOp(Operation):
    def assign(self):
        self.op = self._tokens[1]
        self.terms = self._tokens[0::2]
        del self._tokens

class AndOp(BinOp):
    pass

class OrOp(BinOp):
    pass

expr = infixNotation(term,
    [
    (AND, 2, opAssoc.LEFT, AndOp),
    (OR, 2, opAssoc.LEFT, OrOp),
    ])

sample = '(A or B) and ((C and D) or E)'

result = expr.parseString(sample)
pprint(result.asList())

返回:

[AndOp:{'terms': [OrOp:{'terms': ['A', 'B'], 'op': 'or'}, 
                   OrOp:{'terms': [AndOp:{'terms': ['C', 'D'], 
                                    'op': 'and'}, 'E'], 'op': 'or'}],
'op': 'and'}]

现在表达式已转换为子表达式的数据结构，我将让您完成向 AndOp 和 OrOp 添加方法的工作，以生成总体评估结果为 True 的各种术语组合。 (查看 invregex.py 示例中反转正则表达式的逻辑，了解如何将生成器函数添加到解析的类以生成所需的不同术语组合。)