以下逻辑表达式的值恒为真的是( )。
P v (¬P ^ Q) v (¬P ^ ¬Q)
Q v (¬P ^ Q) v (P ^ -Q)
PvQv (P ^¬Q)v (-P ^Q)
Pv ¬Q v (P ^ ¬Q) v (¬P ^ ¬Q)