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

可以使用 Python 中的逻辑运算符来验证这个命题公式是否成立。代码如下：

P = True
Q = False
R = True

result1 = P and (Q or R)
result2 = (P and Q) or (P and R)

if result1 == result2:
    print("命题公式成立")
else:
    print("命题公式不成立")

这里假设 P、Q、R 的值分别为 True、False、True。可以根据实际情况修改这些值。在代码中，首先分别计算命题公式的两个部分的值，然后比较它们是否相等。如果相等，则说明命题公式成立，否则不成立。