#60. NOIP2010PJ-3

NOIP2010PJ-3

  1. (单选题)以下逻辑表达式的值恒为真的是( )

{{ select(1) }}

  • P∨(¬P∧Q)∨(¬P∧¬Q)
  • Q∨(¬P∧Q)∨(P∧¬Q)
  • P∨Q∨(P∧¬Q)∨(¬P∧Q)
  • P∨¬Q∨(P∧¬Q)∨(¬P∧¬Q)