输入 输入由多行组成，每行都是一个正确的逻辑表达式。 逻辑表达式小于100个字符。 一个正确的逻辑表达式可以包含小写字母，空格和逻辑联结词（含括号）。单个小写字母表示一个逻辑变量，一个表达式中逻辑变量的个数不超过10。空格作为分隔符, 不是词，同一个词的字符之间不能有空格。 输出 每一个逻辑表达式产生如下的输出： 第一行按顺序输出表达式中的所有词。每个词之间用空格分开。 第二行按字母序输出表达式中的所有逻辑变量，用空格分开。 第三行开始输出逻辑变量值的所有组合情况。用具体代码实现

好的，以下是 Python 3 实现该问题的代码：

import itertools

def extract_variables(expr):
    """
    从表达式中提取所有逻辑变量
    """
    variables = set()
    for char in expr:
        if char.islower():
            variables.add(char)
    return sorted(list(variables))

def evaluate(expr, variables):
    """
    计算表达式的值
    """
    expr = expr.replace('(', '').replace(')', '')
    for variable in variables:
        expr = expr.replace(variable, str(int(variable in variables)))
    return eval(expr)

def main():
    while True:
        try:
            expr = input().strip()
        except:
            break

        # 提取所有词
        words = expr.split()
        print(' '.join(words))

        # 提取所有逻辑变量
        variables = extract_variables(expr)
        print(' '.join(variables))

        # 输出逻辑变量值的所有组合情况
        for combination in itertools.product([0, 1], repeat=len(variables)):
            values = dict(zip(variables, combination))
            result = evaluate(expr, values)
            print(' '.join([str(value) for value in combination]), result)

if __name__ == '__main__':
    main()

具体实现步骤如下：

1. 定义 `extract_variables` 函数，用于从表达式中提取所有逻辑变量。

2. 定义 `evaluate` 函数，用于计算表达式的值。

3. 在主函数中，首先读入一行表达式并去除首尾空格。

4. 调用 `expr.split()` 方法提取所有词，并输出。

5. 调用 `extract_variables` 函数提取所有逻辑变量，并输出。

6. 使用 `itertools.product([0, 1], repeat=len(variables))` 生成逻辑变量值的所有组合情况，并遍历每个组合。

7. 对于每个组合，使用 `dict(zip(variables, combination))` 将逻辑变量和对应值组成字典，并调用 `evaluate` 函数计算表达式的值。

8. 输出逻辑变量值和表达式的值。

注意：实现中使用了 Python 的内置函数 `eval`，它可以计算一个字符串表达式的值，但是使用时需要注意安全性。如果输入的表达式不是由用户输入的，可以直接计算而不需要使用 `eval`。