编写 Python 程序，验证命题公式（P∧(Q∨R)与((P∧Q)∨(P∧R)是否等值。

下面是一个简单的 Python 程序，用于验证 P ∧ (Q ∨ R) 与 ((P ∧ Q) ∨ (P ∧ R)) 是否等值：

# 定义命题变量 P、Q、R 的值
P = True
Q = False
R = True

# 验证 P ∧ (Q ∨ R) 与 ((P ∧ Q) ∨ (P ∧ R)) 是否等值
if P and (Q or R) == (P and Q) or (P and R):
    print("P ∧ (Q ∨ R) 与 ((P ∧ Q) ∨ (P ∧ R)) 等值")
else:
    print("P ∧ (Q ∨ R) 与 ((P ∧ Q) ∨ (P ∧ R)) 不等值")

在这个程序中，我们首先定义了命题变量 P、Q、R 的值，然后通过 if 语句验证 P ∧ (Q ∨ R) 与 ((P ∧ Q) ∨ (P ∧ R)) 是否等值，如果等值则输出“P ∧ (Q ∨ R) 与 ((P ∧ Q) ∨ (P ∧ R)) 等值”，否则输出“P ∧ (Q ∨ R) 与 ((P ∧ Q) ∨ (P ∧ R)) 不等值”。

您可以根据需要修改命题变量 P、Q、R 的值，然后运行程序进行验证。