写一段程序，测试p和q两个逻辑表达式是否逻辑相等 用真值表判断 输入的逻辑表达式为命题逻辑表达式 输入的逻辑表达式可以为复合命题，可包含四种联接词：与，或，非，条件

以下是一个 Python 代码示例，用于测试两个逻辑表达式是否逻辑相等：

def test_logic_equivalence(p, q):
    # 构建真值表
    truth_table = [(True, True), (True, False), (False, True), (False, False)]

    # 计算p和q在各种真值下的结果
    p_results = [eval(p, {"__builtins__": None}, {"p": p_val, "q": q_val}) for (p_val, q_val) in truth_table]
    q_results = [eval(q, {"__builtins__": None}, {"p": p_val, "q": q_val}) for (p_val, q_val) in truth_table]

    # 判断p和q是否逻辑相等
    return p_results == q_results

这个函数接受两个逻辑表达式 `p` 和 `q` 作为输入，并构建一个真值表。然后，它计算 `p` 和 `q` 在真值表中的每个可能值下的结果，并将这些结果存储在两个列表中。最后，它通过比较这两个列表来判断 `p` 和 `q` 是否逻辑相等。

注意，这个函数使用了 Python 中的 `eval` 函数来计算逻辑表达式的结果。为了避免在 `eval` 中使用危险的代码，我们传递了一个空的 `__builtins__` 字典，并将 `p` 和 `q` 作为局部变量传递。