显然 X3∨X4,X3→X2,X4→X1 真,则X1∨X2真,但X1∨X2真,X3∨X4,X3→X2,X4→X1 可以不全为真.因此X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论.
具体的证明可以利用真值表.